Interested in logic (and) programming.
Highlights
- Pro
- All languages
- Assembly
- C
- C++
- CSS
- Classic ASP
- Clojure
- Common Lisp
- Coq
- Cuda
- Emacs Lisp
- GLSL
- Go
- HTML
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Logtalk
- MATLAB
- Markdown
- OCaml
- Objective-C++
- Pascal
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Shell
- Svelte
- TeX
- TypeScript
- Verilog
- WebAssembly
- ZIL
Starred repositories
3
stars
written in Rust
Clear filter
Open Machine Intelligence Framework for Hackers. (GPU/CPU)
Lightweight, event-driven WebSockets for Rust.
Lightbeam has moved and now lives in the Wasmtime repository!