A friendly programming language from the future
- haskell
- programming-language
- unison
- unison-language
Repository Index
68,261 visible repositories in the index
1–21 of 21 · Most stars
A statically typed lisp, without a GC, for real-time applications.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
- haskell
- postgresql
- nix
- mvc
Functional Programming Course
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
:boom::computer::boom: A data-parallel functional programming language
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
What I Wish I Knew When Learning Haskell
- functional-programming-examples
- functional-programming
- examples
- article-series
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
😎 The open-source, Haskell-built video editor for GIF makers.
Cryptol: The Language of Cryptography
Huge list of videos, talks, courses for Haskell programming language.
- haskell
- videos
- awesome
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
🔍 A step-by-step guide to parsing using Haskell parser combinators.
- haskell
- parser
- parser-combinators
- parsing
Automates certain common tasks that you do during programming competitions
- programming-competitions
- codeforces
- codechef
- command-line-tool
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
- haskell
- joke
- hacking
- typing
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott