-
Independent Contributor
- France
- https://ryan.lahfa.xyz
- @raito@nixos.paris
Stars
- All languages
- Agda
- Arduino
- Assembly
- Blade
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- CUE
- Cairo
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- F*
- Fluent
- GAMS
- Go
- HLSL
- HTML
- Haskell
- Haxe
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- Lex
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- Racket
- Raku
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Shell
- Svelte
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- Typst
- V
- Vala
- Verilog
- Vim Script
- Vue
- YARA
- Yacc
- Zig
The fastai book, published as Jupyter Notebooks
Human Activity Recognition example using TensorFlow on smartphone sensors dataset and an LSTM RNN. Classifying the type of movement amongst six activity categories - Guillaume Chevalier
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
Machine Learning in Asset Management (by @firmai)
Slides and Jupyter notebooks for the Deep Learning lectures at Master Year 2 Data Science from Institut Polytechnique de Paris
Repository for suggesting new lineages that should be added to the current scheme
Aircraft design optimization made fast through computational graph transformations (e.g., automatic differentiation). Composable analysis tools for aerodynamics, propulsion, structures, trajectory …
Numerical Tours of Signal Processing
TensorFlow implementation of an arbitrary order Factorization Machine
Jiminy: a fast and portable Python/C++ simulator of poly-articulated robots with OpenAI Gym interface for reinforcement learning
CoFactor: Regularizing Matrix Factorization with Item Co-occurrence
Knowledge Tracing Machines: Factorization Machines for Knowledge Tracing
A graphical MLL+MIX theorem prover and proof net library
Dynamic recommandations based on Mangaki algorithms