Popular repositories Loading

1. functional-scala functional-scala Public

   Forked from jdegoes/functional-scala

   The repository for the Functional Scala workshop.

   Scala 1

2. haskell haskell Public

   Forked from tensorflow/haskell

   Haskell bindings for TensorFlow

   Haskell 1

3. book book Public

   Forked from rust-lang/book

   The Rust Programming Language

   Rust 1

4. idris-erlang idris-erlang Public

   Forked from lenary/idris-erlang

   Erlang Backend for Idris Compiler

   Haskell 1

5. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 1

6. hs-to-coq hs-to-coq Public

   Forked from antalsz/hs-to-coq

   Convert Haskell source code to Coq source code

   Coq 1