Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- AMPL
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Clojure
- Common Lisp
- Coq
- Dart
- Dockerfile
- EJS
- Elixir
- Emacs Lisp
- Flix
- Fortran
- GDScript
- Gherkin
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Hy
- Idris
- Io
- Jasmin
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- MATLAB
- MDX
- Makefile
- Mathematica
- Mojo
- Move
- Nix
- OCaml
- OpenQASM
- PDDL
- PowerShell
- Prolog
- Python
- QML
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SAS
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Svelte
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- Verilog
- WebAssembly
- XSLT
- Zig
A collection of paper/projects that trains flow matching model/policies via RL.
Operad Programming Language in Haskell, by David Darais
⚙️ minimal paralllelizable physics simulator supporting differentiation entirely in torch
[NeurIPS'25] Generalizable Reasoning through Compositional Energy Minimization
Introduction to Machine Learning Systems
TopoBench is a Python library designed to standardize benchmarking and accelerate research in Topological Deep Learning
Wiring diagrams for Worlding and Unworlding Uexkuell Umweltung
Wiring diagrams for the new Atlantis.
A native Emacs buffer to interact with LLM agents powered by ACP
Example forms for transient UI's in Emacs
Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.
An MCP server that provides task-based workflow management for agents
[CVPR 2025] A Comprehensive Benchmark for Document Parsing and Evaluation
Towards Real-Time Diffusion-Based Streaming Video Super-Resolution — An efficient one-step diffusion framework for streaming VSR with locality-constrained sparse attention and a tiny conditional de…