Highlights
- Pro
Lists (32)
Abstract/Virtual Machines
Ada Ecosystem
Assembly Ecosystem
Books
C Ecosystem
Computer Networking
Confidential Computing
Config Management
Cursed Projects
Databases
Formal Development
Formal Methods
Fundamental Theories
Homomorphic Encryption
Kotlin Native
Lean Ecosystem
Linux Distro
OCaml Ecosystem
Operating Systems
Programming Languages
Resource Guides
Rust Ecosystem
Theorem Prover
TUI
user interface libraries for terminalTVLK
all stared traveloka's repositories are hereTypesetter
Unikernels
WASM Ecosystem
Web App Framework
Web Frontend Libs/Frameworks
Web3
Zig Ecosystem
Stars
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A Dependently Typed Functional Programming Language
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
Agda is a dependently typed programming language / interactive theorem prover.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
Official upstream development repository for Cabal and cabal-install
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
High performance, streaming and concurrent functional programming in Haskell
Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell
This package provides various primitive memory-related operations.
An EDSL implemented in Haskell for programming the Nintendo Game Boy.