Lists (6)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- APL
- ATS
- Agda
- Alloy
- Answer Set Programming
- Assembly
- Astro
- Awk
- BQN
- Ballerina
- Bicep
- Brainfuck
- C
- C#
- C++
- C3
- CMake
- CSS
- Chapel
- Clojure
- CodeQL
- Common Lisp
- Coq
- Crystal
- Cuda
- Curry
- Cython
- D
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Flix
- Fluent
- Forth
- Fortran
- Futhark
- GDScript
- GLSL
- Gleam
- Go
- Gosu
- Groovy
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Idris
- Inno Setup
- Isabelle
- J
- Janet
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LFE
- LLVM
- Lean
- Liquid
- Logtalk
- Lua
- MATLAB
- MDX
- MLIR
- Macaulay2
- Makefile
- Markdown
- Mercury
- Mojo
- MoonBit
- NewLisp
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Odin
- OpenEdge ABL
- PHP
- PLpgSQL
- Perl
- Pony
- PostScript
- PowerShell
- Prolog
- PureScript
- Python
- QML
- R
- Racket
- Raku
- ReScript
- Reason
- Red
- Ren'Py
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Scheme
- Shell
- Shen
- Sieve
- Slash
- Smalltalk
- Solidity
- Stan
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- Typst
- V
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- XSLT
- Yacc
- Zig
- eC
- edn
Starred repositories
Step-by-step guide through the abstract and complex universe of Fragment Shaders.
Console-based GLSL Sandbox for 2D/3D shaders
A VM with adaptive optimization and JIT compilation, built for Rakudo
Mystical terminal user interface primitives 🌈
Tools for programming with ConstraintKinds in GHC
Simple tool to load GLSL shaders on HTML Canvas using WebGL
A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS…
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
A collection of macros designed to address issues with objects in Clojure.
Chris Okasaki’s Purely Functional Data Structures in Scala
Cinder is a community-developed, free and open source library for professional-quality creative coding in C++.
A minimal version of FSet's functional hash maps, suitable for use in small projects.
Archipelago Multi-Game Randomizer and Server
Languish, a web page for exploring programming language trends
A programming language for libraries translated to all the others
nw_wrld is an event-driven sequencer for triggering visuals using web technologies. It enables users to scale up audiovisual compositions for prototyping, demos, exhibitions, and live performances.…
Yet Another Classical planning plan validator written in modern Common Lisp
Programming language for literate programming law specification
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Bookmarks in graphics, algorithms, low level programming, math, languages
A little KV store implementation in OCaml to practice DB systems things
Content for a workshop on Mathematical Planning