Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- ApacheConf
- Assembly
- AutoHotkey
- Bikeshed
- Brightscript
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Elm
- Erlang
- F#
- F*
- Fluent
- GDScript
- Gleam
- Go
- HCL
- HTML
- Haml
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Max
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- Processing
- Pure Data
- PureScript
- Python
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scheme
- Shell
- Smarty
- Solidity
- SuperCollider
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Vue
- WebAssembly
- XSLT
- Zig
- reStructuredText
12
stars
written in Haskell
Clear filter
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A peer-to-peer stack for code collaboration
Main source code repository of the Tamarin prover for security protocol verification.
A Haskell-based library for algorithmic and automated composition. This library was the subject of my dissertation at Yale university and is the subject of my ongoing work.
Epidemic Broadcast Trees implementation using HyParView