Lists (1)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- AppleScript
- Arduino
- Assembly
- Astro
- AutoHotkey
- Awk
- Bicep
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Cython
- D
- Dart
- Dhall
- Dockerfile
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Factor
- Fennel
- Forth
- GDScript
- Gleam
- Go
- Groovy
- HCL
- HTML
- Haskell
- Hy
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Meson
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- Pony
- PostScript
- PowerShell
- Python
- QML
- R
- RAML
- Racket
- Ragel
- Raku
- ReScript
- Reason
- Red
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SQL
- Scala
- Scheme
- Shell
- Smalltalk
- Starlark
- Svelte
- Swift
- TSQL
- TeX
- Twig
- TypeScript
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Vue
- WebAssembly
- XSLT
- Zig
- hoon
- reStructuredText
Starred repositories
ShellCheck, a static analysis tool for shell scripts
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
A Dependently Typed Functional Programming Language
Agda is a dependently typed programming language / interactive theorem prover.
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
A dependently-typed programming language with static memory management
A fast functional language based on two level type theory
A simple expressions language with polymorphic extensible row types.
A toy programming language with time travel
PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...
Python backend for Idris (generates Python source, not bytecode).
Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
An experiment in controlling the size of a thread pool using a PID controller.
A small, weird and unpractical programming language.
A streaming PostgreSQL logical replication client library for Haskell
Fast pure Haskell implementation of the PostgreSQL wire protocol