Highlights
- Pro
Stars
- All languages
- ATS
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dafny
- Dockerfile
- Elm
- Emacs Lisp
- Erlang
- F*
- Frege
- Go
- Grammatical Framework
- HTML
- Haskell
- Idris
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- MATLAB
- Makefile
- Mathematica
- Nearley
- Nix
- Nunjucks
- OCaml
- Objective-C
- Opa
- OpenSCAD
- Perl
- PostScript
- Prolog
- PureScript
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- UrWeb
- Vim Script
- Visual Basic
- Visual Basic .NET
- wisp
Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.
A text editor in less than 1000 LOC with syntax highlight and search.
A minimal programming example for a chat server
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
Graph database optimized for fast analysis and real-time data processing. It is provided as an extension to PostgreSQL.
ading2210 / doompdf
Forked from ozkl/doomgenericA port of Doom (1993) that runs inside a PDF file
The Espruino JavaScript interpreter - Official Repo
Full vim for your shell (bash, zsh, gdb, python, etc)
Semantic Search & Call Graphs for AI Agents (100% Local)
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
comparing the c ffi (foreign function interface) overhead on various programming languages
Easy to use, modular, header only, macro based, generic and type-safe Data Structures in C
ginge / FreeRTOS-Pebble
Forked from wangyeee/STM32F4-FreeRTOSRealtime Pebble watch api and app compatible OS
property testing and verification front-end for Rust
A jam project exploring new ways of querying databases.