Stars
- All languages
- Assembly
- BQN
- C
- C#
- C++
- CSS
- Cirru
- Clojure
- CoffeeScript
- Coq
- Cuda
- Curry
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Factor
- Go
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MLIR
- Mercury
- Nix
- OCaml
- Odin
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Starlark
- Svelte
- Swift
- TLA
- TeX
- Twig
- TypeScript
- Vala
- Vim Script
- WebAssembly
- Zig
Python Data Science Handbook: full text in Jupyter Notebooks
A guidance language for controlling large language models.
Draw pretty maps from OpenStreetMap data! Built with osmnx +matplotlib + shapely
Foundational Models for State-of-the-Art Speech and Text Translation
A Haskell kernel for the Jupyter project.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".
Hyperparameter Tuning with Python
Demos utilizing the ChatGPT API
Haskell re-implementation of STOKE, the stochastic superoptimizer