Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Erlang
- FIRRTL
- Factor
- Gleam
- Go
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LigoLANG
- Lua
- MATLAB
- MLIR
- Makefile
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- Pascal
- Pony
- Processing
- Prolog
- PureScript
- Python
- R
- Racket
- Reason
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Solidity
- SuperCollider
- Swift
- SystemVerilog
- TeX
- TypeScript
- Verilog
- Vue
- Zig
- hoon
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…
❶ One is a new React framework - incredible for web, but also for native. No Metro, just a single Vite plugin.
A distributed system for running WebSocket services at scale.
The fastest, most feature-complete zkVM for developers.
SwissGL is a minimalistic wrapper on top of WebGL2 JS API. It's designed to reduce the amount of boilerplate code required to manage GLSL shaders, textures and framebuffers when making procedural v…
Distributed LLM and StableDiffusion inference for mobile, desktop and server.
A compositional diagramming and animation library as an eDSL in Python
A massively parallel, high-level programming language
Biological foundation modeling from molecular to genome scale
The #1 open-source voice interface for desktop, mobile, and ESP32 chips.
A library for building fast, reliable and evolvable network services.
End-to-end stack for WebRTC. SFU media server and SDKs.
Rust implementation of the WebNative FileSystem (WNFS) specification
Make your JSON data collaborative and version-controlled with CRDTs
A language for easier design of knitting patterns
ALIEN is a CUDA-powered artificial life simulation program.
Library for declaratively building software-defined modular synthesizers in OCaml
Intermediate Graphics Library (IGL) is a cross-platform library that commands the GPU. It provides a single low-level cross-platform interface on top of various graphics APIs (e.g. OpenGL, Metal an…
An interactive theorem prover for string diagrams
A two-dimensional, hexagonal programming language.