Repository Index

72,862 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–7 of 7 · Most stars

carp-lang / Carp

Haskell 6.1K 189

A statically typed lisp, without a GC, for real-time applications.

Haskell 1.2K 130

Cryptol: The Language of Cryptography

Haskell 505 22

Explain why two Nix derivations differ

Haskell 494 67

Compositional pipelines

Haskell 492 58

Functional Reactive Programming domain-specific language for efficient hybrid systems

Haskell 272 19

A Haskell implementation of the Tor protocol.

Haskell 50 9

"Hack" like a programmer in movies and games! Inspired by hackertyper.net