- Berlin, Germany
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- C
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Elm
- Emacs Lisp
- F#
- 8000 F*
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Nix
- OCaml
- PHP
- PLpgSQL
- PureScript
- Python
- QML
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Vala
- Vim Script
- WebAssembly
- Zig
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
Rhino is an open-source implementation of JavaScript written entirely in Java
kaskade is a text user interface for kafka, which allows you to interact and consume topics from your terminal in style!
LittleHorse Kernel: A Platform for Distributed Event-Driven or Orchestrated Applications.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms.
One second to read GitHub code with VS Code.
Task manager with Todoist & Nextcloud support designed for GNOME
Personal CRM. Remember everything about your friends, family and business relationships.
A Haskell implementation of JSON Web Token (JWT)
Haskell client for the kubernetes API. A work in progress.
The fastest way to develop full-stack web apps with React & Node.js.
TopShell - a purely functional, reactive scripting language
Virtual cables between any audio source and any speaker in your home
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
Keys for Safari is a browser extension that lets users keyboard-navigate the web by dynamically generating and rendering shortcut keys in the least ugly/confusing way possible.
Research language for array processing in the Haskell/ML family
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages