diku-dk / futhark-book

Related projects ⓘ

Alternatives and complementary repositories for futhark-book

• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆40Updated last month
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆27Updated 4 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆83Updated 8 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆94Updated 8 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 5 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆109Updated last week
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 4 years ago
• ngzhian / ski
  SKI combinators
  ☆50Updated 7 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 5 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆75Updated last year
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 6 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆43Updated 4 years ago
• racket / parser-tools
  ☆11Updated 3 weeks ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• lexi-lambda / talks
  ☆43Updated last year
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆57Updated 3 years ago
• xgrommx / agda-ecosystem
  ☆28Updated 6 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆32Updated last month