Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- APL
- ATS
- ActionScript
- Agda
- AngelScript
- AppleScript
- Arc
- Arduino
- Assembly
- Batchfile
- Bikeshed
- BitBake
- Boo
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- ColdFusion
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- DIGITAL Command Language
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fluent
- Forth
- Frege
- G-code
- GCC Machine Description
- GDScript
- GLSL
- Gnuplot
- Go
- Grammatical Framework
- Groff
- Groovy
- HCL
- HLSL
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Inform 7
- Ink
- Inno Setup
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LFE
- LLVM
- Lean
- LiveScript
- LoomScript
- Lua
- M4
- MATLAB
- MAXScript
- MDX
- Makefile
- Markdown
- Mask
- Mathematica
- Mirah
- Modula-3
- MoonScript
- Mustache
- NASL
- Nemerle
- NewLisp
- Nim
- Nix
- Nu
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- Odin
- Opa
- OpenSCAD
- PDDL
- PHP
- PLSQL
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- Protocol Buffer
- Pug
- Puppet
- Pure Data
- PureScript
- Python
- QML
- R
- Racket
- Reason
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sass
- Scala
- Scheme
- Scilab
- Self
- ShaderLab
- Shell
- Shen
- Slang
- Slash
- Standard ML
- Starlark
- Svelte
- Swift
- Tcl
- TeX
- Terra
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic 6.0
- Vue
- WebAssembly
- Wren
- XML
- XSLT
- Zig
- wisp
Starred repositories
An unobtrusive, developer-friendly way to add comments
Functional Reactive Programming domain-specific language for efficient hybrid systems
A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.
Typed and composable spreadsheets
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
A Haskell implementation of the Shen programming language.
A Common Intermediate Language backend for Idris 1
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
Yet another yet another recursion scheme library in Haskell.
A nice Haskell graphics API. There's always room for jello.
Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
Hot swapping compiled code while keeping a websocket connection open
A Haskell web framework that runs on AWS Lambda. Currently incomplete, large parts are missing, nothing is working.