

Highlights
- All languages
- ActionScript
- Agda
- Assembly
- Astro
- Awk
- Bikeshed
- Bison
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- DIGITAL Command Language
- Dafny
- Dart
- Dhall
- Dockerfile
- Dylan
- EJS
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- Frege
- GAMS
- Go
- Grammatical Framework
- Groovy
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- LilyPond
- Logos
- Lua
- M
- MDX
- Makefile
- Markdown
- Mathematica
- Mercury
- Mojo
- Mustache
- Nemerle
- NewLisp
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Prolog
- Protocol Buffer
- Pug
- Pure Data
- PureScript
- Python
- R
- RAML
- Racket
- ReScript
- Reason
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SVG
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- UrWeb
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wikitext
- Wren
- Xtend
- Yacc
- Zig
- hoon
Starred repositories
Load a GHCi session for a Haskell project and reload it when source files change
Empower the Web community and invite more to build across platforms.
Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.
🚀 The easiest, free and open-source Tailwind CSS component library with semantic classes.
Visual primitives for the component age. Use the best bits of ES6 and CSS to style your apps without stress 💅
Type-safe printf from parsing GHC TypeLits Symbol
Type-Level Binary Search Tree in Haskell
Allow GHCJS projects to compile under GHC and develop using intero
an experimental new programming language based on interaction nets
List of awesome CSS frameworks in 2025
Inpla: Interaction nets as a programming language (the current version)
Tutorial / REPL for the lambda calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"
Nix language server, based on nix libraries [maintainer=@inclyc,@Aleksanaa]