Name: Younesse Kaddar
Type: User
Company: University of Oxford
Bio: CS PhD student at the University of Oxford.
Location: Oxford, UK
Blog: https://younesse.net
algorithms
Personal database of python algorithms and data structures
birthday_problem
Birthday problem for three and four people
blog
Public repo for HF blog posts
categories_work_exercises
Mac Lane's "Categories for the Working Mathematician" exercises (Cambridge Reading Group)
chaotic_neural_networks
Neuromodeling (AT2) Cogmaster project: **Generating Coherent Patterns of Activity from Chaotic Neural Networks** (based on Sussillo & Abbott's article) at ENS Ulm
coherence-of-heyting-arithmetic
Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)
compiler_project
Compiler Project (C-- into Assembly x86_64) at ENS Paris-Saclay
compiling-to-categories_automatic_differentiation_project
"Compiling simply typed λ-calculus to Categories: Automatic Differentiation" functional programming MPRI project (teachers: Yann Régis-Gianas, François Pottier, Pierre-Évariste Dagand and Didier Rémy)
coq_project
Coq Project at ENS Paris-Saclay, teacher : François Thiré
decisionr
Oxford Hack 2020 Repository: Decision-Making tool
dex-lang
Research language for array processing in the Haskell/ML family
dex-syntax-highlighting
Syntax highlighting support for the Dex language in Visual Studio Code.
dm_programmation2
DM de Programmation Avancée à l'ENS Paris-Saclay donné par Etienne Lozes : http://www.lsv.fr/~lozes/Enseignement/ProgAvancee/DM/dm.pdf
gflownet-for-dummies
GFlowNets For Dummies Reading Group at Mila
kaflow
Causal Analysis for Kappa
leandojo
Tool for data extraction and interacting with Lean programmatically.
learn_haskell
An attempt to make a document to help learn Haskell
logics_project
Logics Project at ENS Paris-Saclay
macos_math
Personal keyboard layouts (with unicode math symbols) and Alfred snippets (for LaTeX)
mini_compilo
Mini-compiler Project at ENS Paris-Saclay, teachers : François Thiré / Jean Goubault-Larrecq
mpri_proof-assistants
Proof Assistants MPRI (M2) practical sessions (teachers: Bruno Barras and Matthieu Sozeau)
neurorobotics_intent-recognition
Neurobotics 4th lab on Intent Recognition, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Mohamed Chetouani)
neurorobotics_navigation-strategies
Neurobotics 2nd lab on Navigation Strategies, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Benoît Girard and Alexandre Coninx)
neurorobotics_project
Neurobotics project for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes
neurorobotics_regression
Neurobotics third lab on Regression, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Nicolas Perrin)
neurorobotics_reinforcement-learning
Neurobotics first lab on Reinforcement Learning, for the Cogmaster at the Ecole Normale Supérieure / Univ. Paris Descartes (problem statement by Nicolas Perrin)
oxai-oxvc-hackathon-2023
OXVC x Creator Fund x OxAI Startup Hackathon (May 2023)
pandoc-unicode-math
Replace Unicode symbols by equivalent Latex commands
programmation2
TPs du cours Programmation2 à l'ENS Paris-Saclay
recommender-system
The theoretical side of the Initiation to Research group supervised by Serge Abiteboul at ENS Paris-Saclay. The implementation repository: https://github.com/remi-dupre/recommendation-system
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
