Alternatives and similar repositories for the-little-typer

Users that are interested in the-little-typer are comparing it to the libraries listed below

• awalterschulze / the-little-typer-exercises

  View on GitHub
  exercises for the book - the little typer
  ☆21May 15, 2025Updated 9 months ago
• MikeMKH / the-little-typer

  View on GitHub
  Daily kata from the Little Typer
  ☆13Dec 28, 2018Updated 7 years ago
• mleung / Sex

  View on GitHub
  Ruby Regular Expression Helper Gem
  ☆17Oct 30, 2016Updated 9 years ago
• IbrahimFadel / flux

  View on GitHub
  A toy compiler made with LLVM
  ☆16Aug 30, 2024Updated last year
• teach-plt / plt-errata

  View on GitHub
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Nov 13, 2025Updated 3 months ago
• david-christiansen / pie-hs

  View on GitHub
  An implementation of Pie in Haskell
  ☆211Nov 8, 2019Updated 6 years ago
• the-little-typer / pie

  View on GitHub
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆739Jul 7, 2021Updated 4 years ago
• tdp2110 / HaskellTiger

  View on GitHub
  Modern Compiler Implementation in ML, in Haskell
  ☆22May 29, 2021Updated 4 years ago
• ccntrq / loxomotive

  View on GitHub
  loxomotive - A Lox Interpreter implemented in Haskell
  ☆17Jan 8, 2022Updated 4 years ago
• cederstone / analysis

  View on GitHub
  Static analysis of Go code through golang.org/x/tools/go/analysis
  ☆22Apr 24, 2019Updated 6 years ago
• jsiek / B522-PL-Foundations

  View on GitHub
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆55May 28, 2020Updated 5 years ago
• mb64 / prolog

  View on GitHub
  A simple prolog implementation in Rust
  ☆26Nov 14, 2020Updated 5 years ago
• jsdf / lisp.rs

  View on GitHub
  Scheme Interpreter in Rust
  ☆29Mar 24, 2018Updated 7 years ago
• chiroptical / book-of-monads

  View on GitHub
  Finished Book of Monads by Alejandro Serrano-Mena
  ☆27May 1, 2020Updated 5 years ago
• syntax-objects / syntax-parse-example

  View on GitHub
  Collection of syntax/parse macros
  ☆31Nov 1, 2022Updated 3 years ago
• Booob / P523

  View on GitHub
  P523 Code
  ☆30Jan 21, 2015Updated 11 years ago
• rzrn / ground_zero

  View on GitHub
  Ground Zero: Lean 4 HoTT Library
  ☆79Jan 24, 2026Updated 3 weeks ago
• mb64 / LC-interpreter

  View on GitHub
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆32Jan 11, 2022Updated 4 years ago
• tuan78 / jsonconv

  View on GitHub
  Golang library and cmd for flattening JSON and converting JSON to CSV.
  ☆12Mar 17, 2025Updated 11 months ago
• samdphillips / raco-pkg-env

  View on GitHub
  virtualenv like tool for Racket
  ☆31Nov 20, 2022Updated 3 years ago
• brson / archaea

  View on GitHub
  Historic Rust code browsing
  ☆35Jan 14, 2021Updated 5 years ago
• Ailrun / core-lang-haskell

  View on GitHub
  Implementation for the book <Implementing functional languages: a tutorial>
  ☆33Apr 15, 2019Updated 6 years ago
• cdepillabout / nix-reverse-deps-of-haskell-package

  View on GitHub
  Find or build all reverse dependencies of a Haskell package using Nix
  ☆14Jul 26, 2020Updated 5 years ago
• agoose77 / literary

  View on GitHub
  Literate Python package development with Jupyter
  ☆12Aug 18, 2025Updated 5 months ago
• flatironinstitute / flathub

  View on GitHub
  A simple elasticsearch frontend for serving astrophysical simulation catalog data
  ☆10Aug 29, 2025Updated 5 months ago
• christerso / vulkan-go

  View on GitHub
  An up-to-date Vulkan for Golang/Go
  ☆16Sep 5, 2025Updated 5 months ago
• lifpan / llvm_essentials_cn

  View on GitHub
  LLVM Essentials 中文版
  ☆12Feb 18, 2025Updated 11 months ago
• DamienIrving / ocean-analysis

  View on GitHub
  Code used for analysis and visualiation of ocean model data during my postdoc
  ☆12Mar 1, 2023Updated 2 years ago
• Tezos-India / TezAsia-2k23

  View on GitHub
  ☆10Oct 9, 2023Updated 2 years ago
• mikeizbicki / cmc-csci181-deeplearning

  View on GitHub
  deep learning course materials
  ☆15Jun 24, 2020Updated 5 years ago
• vshesh / Sexpr.jl

  View on GitHub
  julia <3 clojure + macroexpansion
  ☆11May 2, 2016Updated 9 years ago
• kwanghoon / Lecture_EOPL_Exercise

  View on GitHub
  Exercises for EOPL in Haskell
  ☆10Apr 1, 2025Updated 10 months ago
• SIGPLAN / SIGPLAN.github.io

  View on GitHub
  SIGPLAN website
  ☆13Feb 11, 2026Updated last week
• mahrz24 / rv6

  View on GitHub
  rv6 is a kernel & operating system written entirely in rust.
  ☆11Nov 7, 2019Updated 6 years ago
• paritytech / rw-stream-sink

  View on GitHub
  Adaptator between Stream/Sink and AsyncRead/AsyncWrite
  ☆12Feb 5, 2022Updated 4 years ago
• can1357 / gengo

  View on GitHub
  Generate Go bindings for shared C libraries.
  ☆15Jul 13, 2024Updated last year
• v587su / SimPy

  View on GitHub
  Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"
  ☆12Oct 21, 2024Updated last year
• hamishforbes / lua-resty-dns-cache

  View on GitHub
  Cache wrapper for lua-resty-dns
  ☆11Apr 19, 2017Updated 8 years ago
• clash-lang / ghc-typelits-natnormalise

  View on GitHub
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated this week