Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ATS
- ActionScript
- Ada
- Assembly
- Batchfile
- Bicep
- Bluespec
- Boogie
- Brainfuck
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dafny
- Dart
- Dhall
- Dockerfile
- Dylan
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Flix
- Fluent
- Forth
- Fortran
- Futhark
- GDScript
- Gleam
- Go
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Haxe
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Limbo
- Linear Programming
- Logtalk
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Nemerle
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- Odin
- Open Policy Agent
- OpenEdge ABL
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- R
- RPM Spec
- Racket
- ReScript
- Reason
- Red
- Roc
- Roff
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Smali
- Smarty
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- TLA
- TeX
- Text
- TypeScript
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Visual Basic .NET
- Visual Basic 6.0
- Vue
- WebAssembly
- XSLT
- YAML
- YARA
- Zeek
- Zig
Starred repositories
Beyond Babel, Python all around the world, one function at a time
A minimalistic API framework built on top of Flask, Marshmallow and friends.
The impossibly small web framework for Python and MicroPython.
A character-level language diffusion model trained on Tiny Shakespeare
Generator of runtime monitors for flight and robotics applications.
monospace typeface designed for symbol-rich programming
Data race skeletons from Uber's Go codebase for research in concurrency bug detection and analysis.
WebAssembly (Wasm) arch support for the Linux kernel
My adventure into the marvelous world of Web Assembly
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
Code execution utilities for Open WebUI & Ollama
Build environment WasmLinux kernel and userland
A Rust recreation of the classic 1968 BASIC game Hammurabi with a modern TUI
🎨 Create beautiful interactive command line interface in OCaml
ZeroFS - The Filesystem That Makes S3 your Primary Storage. ZeroFS is 9P/NFS/NBD on top of S3. Initially built for www.merklemap.com
A minimalist risk management program!
🐀 A link aggregator and forum for the fediverse