alephlull

alephlull's Stars

• msakai/toysolver

  My sandbox for experimenting with solver algorithms.

  Language:Haskell15411

• chris-taylor/aima-haskell

  Algorithms from AIMA in Haskell

  Language:Haskell33143

• hedgehogqa/haskell-hedgehog

  Release with confidence, state-of-the-art property testing for Haskell.

  Language:Haskell670109

• ekmett/machines

  Networks of composable stream transducers

  Language:Haskell33846

• konn/generic-unification

  Unification for free!

  Language:Haskell32

• Saizan/miller

  Miller/pattern unification in Agda

  Language:Agda621

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.1k116

• steshaw/lennart-lambda

  λλλλ Lennart Augustsson's λ-calculus cooked four ways

  Language:Haskell5210

• mchakravarty/hoas-conv

  Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)

  Language:Haskell202

• JCumin/Brachylog

  A terse declarative logic programming language

  Language:Prolog1185

• lexi-lambda/hackett

  WIP implementation of a Haskell-like Lisp in Racket

  Language:Racket1.2k49

• valis/hoq

  A language based on homotopy type theory with an interval

  Language:Haskell845

• jwiegley/coq-pipes

  Language:Coq994

• ditto/ditto

  A Super Kawaii Dependently Typed Programming Language

  Language:Haskell1715

• coq/coq

  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 development of machine-checked proofs.

  Language:OCaml4.7k637

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust54.9k3k

• mietek/charity-lang

  Charity language interpreters and literature

  Language:C1147

• burz/presentations

  Presentations I've given

  Language:Haskell12

• haskus/haskus-system

  Moved to https://github.com/haskus/packages

  Language:Haskell34810

• mikeizbicki/HLearn

  Homomorphic machine learning

  Language:Haskell1.6k138

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k356

• jsinglet/latex-preview-pane

  Makes LaTeX editing less painful by providing a updatable preview pane

  Language:Emacs Lisp12924

• lpeterse/koka

  A function-oriented language with effect inference

  Language:Haskell191

• cmcl/frankjnr

  Another implementation of Frank.

  Language:Haskell715

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell58331

• luqui/vatican

  A lazy specializing virtual machine for purely functional languages

  Language:C++1019

• liyishuai/cps

  Conversion from System T to continuation-passing style (CPS)

  Language:Coq3

• skogsbaer/hscurses

  ncurses binding for Haskell

  Language:Haskell6021

• quchen/articles

  Miscellaneous articles. The readme is the table of contents.

  Language:Haskell1.2k94

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML610133