Alternatives and similar repositories for futhark-book

Users that are interested in futhark-book are comparing it to the libraries listed below

• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 11 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆36Updated 3 weeks ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 4 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆74Updated 8 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆125Updated 2 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 7 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆43Updated 5 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆60Updated last year
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆91Updated 3 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆52Updated last year
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆77Updated last month
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆61Updated 4 years ago
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆50Updated 9 months ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• thautwarm / Quick-Backend
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Updated 5 years ago