- earth
Lists (11)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Flix
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- Just
- Koka
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- MoonBit
- Nix
- OCaml
- PHP
- Perl
- PureScript
- Python
- R
- Racket
- ReScript
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Typst
- Vim Script
- Vue
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
Code from various chapters in OSTEP (http://www.ostep.org)
Build and host decentralized blogs and websites on your Mac
Pure Go 1000k+ connections solution, support tls/http1.x/websocket and basically compatible with net/http, with high-performance and low memory cost, non-blocking, event-driven, easy-to-use.
A linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).
Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
Resumes as code in YAML, brought to you with ❤️ by PPResume.
Compositional JSON encode/decode library and PPX for Melange and OCaml
Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
❤️ 1000+ Hand-Crafted Go Examples, Exercises, and Quizzes. 🚀 Learn Go by fixing 1000+ tiny programs.
MirageOS is a library operating system that constructs unikernels
SageMath code of the book "A Course in Cryptography".
Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
A collection of awesome Haskell videos. Inspired by awesome projects line.
A library for building fast, reliable and evolvable network services.
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView