Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- Cuda
- Dhall
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Factor
- Forth
- Futhark
- G-code
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MoonScript
- Nim
- Nix
- Objective-C
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- Prolog
- PureScript
- Python
- QML
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- TeX
- TypeScript
- VHDL
- Vim Script
- hoon
WiiM Play is a GTK3-based UPNP control point designed to manage the WiiM music streamer products from Linkplay Technology Inc.
High Performance Rate Limiting MicroService and Library - Developed at Mailgun
A lightweight batch processing queue for the heaviest loads.
Bidirectional support between the streaming and conduit libraries
GPT2 implementation in Haskell with the Hasktorch library, inspired by Andrej Karpathy's Pytorch implementation.
An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.
Extra foreign primops for primitive arrays.
A Minecraft clone made with pure HTML & CSS – no JavaScript.
A Rust compiler backend targeting CIL(.NET IR) and C.
Palette quantization library that powers pngquant and other PNG optimizers
Conveyor Belts for Industrial-Grade Pipelines
An unsigned integral type with checked arithmetic (overflow/underflow raises) that can always safely be converted to an Int
A STM-transactional concurrent ring buffer
audit your cabal projects for haskell-specific security-advisories
Compiler for a small stack-based imperative language, targeting the Piet language.
Mutable hash tables for Haskell, in the ST monad