• Stars
    star
    28
  • Rank 882,216 (Top 18 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated almost 5 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A usable type system for call by push-value

More Repositories

1

qtt

Quantitative Type Theory implementation
Haskell
54
star
2

sized-hkts

Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
Haskell
51
star
3

sage

Efficient parser combinators for Haskell
Haskell
39
star
4

idris-but-its-c

Idris, but it's C
Idris
24
star
5

parametricity-proofs

Proofs of the number of inhabitants of polymorphic functions
Haskell
23
star
6

meta-lambda

Lambda Calculus with quote and unquote
Haskell
19
star
7

lambdapi

Educational implementation of dependent types
Haskell
19
star
8

ipso

A functional scripting language.
Rust
16
star
9

closure

Closure calculus implementation
Haskell
12
star
10

indexed-paths

A library for working with free categories
Haskell
10
star
11

mini-adapton

miniAdapton in Haskell
Haskell
8
star
12

stg-llvm

Attempting to compile STG to LLVM
Haskell
8
star
13

ccc

Using lambda calculus as the syntax for cartesian closed categories, ala Conal Elliott.
Agda
7
star
14

rows

A language with polymorphic records and variants, using HMF inference.
Haskell
7
star
15

eden

Experimenting with GHC's Backpack technology to create modular programming language representations
Haskell
7
star
16

typed-cfg

Well-typed compile time parser generator
Haskell
7
star
17

nix-docs

Reference documentation for (a teensy part of) Nix
Rust
6
star
18

edit-log

Structured editing of a programming language via a log
Haskell
5
star
19

spacemacs-neuron

A spacemacs layer for neuron
Emacs Lisp
5
star
20

phil

A pure functional language that compiles to PHP
Haskell
5
star
21

idris-tictactoe

TicTacToe using dependent types
Idris
5
star
22

bide

An attempt at understanding Conor McBride's bidirectional typing discipline
Haskell
5
star
23

lang

learning how 2 compile, like seriously
Haskell
5
star
24

reactive-data

A framework for building fine-grained reactive datatypes
Haskell
4
star
25

idris-lambda-reflection

Reflecting simply-typed lambda calculus into Idris
Idris
4
star
26

phil2-editor

Attempt at a terminal-based structural editor using Reflex and Brick
Haskell
4
star
27

pl0-haskell

PL/0 compiler written in Haskell
Haskell
4
star
28

tell

The MonadTell type class, and related monad transformers and utilities.
Haskell
4
star
29

como

Contextual Modal Type Theory, formalization and implementation
Agda
4
star
30

lightandlight.github.io

My personal GitHub Pages site
Haskell
4
star
31

classy-lc

Modular lambda calculus using Backpack and prisms
Haskell
4
star
32

biscope

scopes over bifunctors
Haskell
3
star
33

monoidal-lens

Optics built using monoidal categories
Haskell
3
star
34

rust-wasm-gol

Learning Rust + WebAssembly
Nix
3
star
35

linearlambda

Linear lambda calculus implementation
Haskell
3
star
36

stencil

Shareable programmable project templates
Haskell
3
star
37

unification

An alternative to `unification-fd`, using the `equivalence` library
Haskell
3
star
38

learn-vulkan

Learning to use Vulkan and building a high-level interface to `vulkan-api` along the way
Haskell
3
star
39

hover-pill

A game I made to learn Bevy, a Rust game engine.
Nix
3
star
40

definable-syntax

A programming language with very few reserved keywords
Haskell
3
star
41

pattern-unification

Learning pattern unification
Haskell
3
star
42

imp

This is not the droid you're looking for
Haskell
3
star
43

humblr

Proof-of-concept Haskell blog platform
Haskell
3
star
44

certified-lc

use coq to verify stlc in a way that extracts to good haskell
Makefile
3
star
45

top-down-hindley-milner

Haskell
3
star
46

plated-talk

Talk about Plated for BFPG
Haskell
2
star
47

wgpu-mandelbrot

Rendering the Mandelbrot set using wgpu
Rust
2
star
48

ray-tracing-in-one-weekend

Ray tracing in one weekend, in Rust
Nix
2
star
49

ranged

Integers with type-level ranges
Haskell
2
star
50

pyfactor

Python DSL for Haskell with optics-based refactoring
Haskell
2
star
51

leeft-idr

Attempting to build type preserving lambda lifting
Idris
2
star
52

3d-graphics-fundamentals

Learning 3D graphics fundamentals
Rust
2
star
53

git-ustash

Save and restore unstaged changes in Git.
Nix
2
star
54

reflex-parser

What would functional-reactive parser combinators look like?
Haskell
2
star
55

psbt

Build tool for PureScript written in Haskell
Haskell
2
star
56

java-hindley-milner

Implementation of Hindley-Milner type inference in Java
Java
2
star
57

newtype-existential

Existential quantification in newtypes using church encoding + RankNTypes
Haskell
2
star
58

metis

A compiler project.
Haskell
2
star
59

haskell-gol

Multithreaded implementation of Conway's Game of Life
Haskell
2
star
60

recursion-schemes-phoas

Compositional PHOAS terms
Haskell
2
star
61

quill

A query language experiment.
Haskell
2
star
62

game-3d

3D rendering with reflex-gloss
Haskell
2
star
63

humblr-frontend

Single page app frontend for humblr written using Purescript
PureScript
2
star
64

subst

De Bruijn indices using Backpack-y Prisms and Plated
Haskell
2
star
65

haskell-typecheck-combinators

A type checker monad and combinators
Haskell
2
star
66

opstools

Tools for managing software deployments.
Haskell
2
star
67

binders.rs

A Rust name binding library inspired by the theory of Nominal Sets.
Rust
2
star
68

spiddy

What happens when I try to build a performant compiler?
Rust
2
star
69

purescript-pux-redux

Types and helper functions for building pux apps that interact with an external redux store
PureScript
1
star
70

templates.nix

My personal collection of Nix templates
Nix
1
star
71

git-explorer

A program for resolving Git URIs
Nix
1
star
72

mininix

Haskell
1
star
73

fast-finds

Program transformations for improving the performance of searching large, static lists.
Haskell
1
star
74

bidirectional-typechecking-with-unification

Haskell
1
star
75

haddock-backpack-issue

Haskell
1
star
76

haskell-todo

Command Line Todo List in Haskell
Haskell
1
star
77

dunjy

It might become a reflex-brick-based dungeon crawler
Haskell
1
star
78

nominal-lambda-fix

Let's do initial algebra semantics for the category of nominal hask
Haskell
1
star
79

rel

Type-safe relational algebra compiler/interpreter
Haskell
1
star
80

bitset

treat `Vector Word64` as a set of natural numbers
Haskell
1
star
81

leeft

Learning lambda lifting
Haskell
1
star
82

haskell-coreutils

GNU coreutils written in haskell
Haskell
1
star
83

diagnostica

A Haskell library for rendering error diagnostics
Haskell
1
star
84

laurel

A modern query language.
Haskell
1
star
85

phil2

Second iteration of my semi-serious toy compiler
Haskell
1
star
86

game

Making pictures move around the screen and interact, using reflex and gloss
Haskell
1
star
87

fact-weird

Different implementations of factorial behaving weirdly
Haskell
1
star
88

columnize

Takes newline-separated items on stdin and prints them in columns on stdout.
Nix
1
star
89

rust-and-fp

A talk about Rust and functional programming
TeX
1
star
90

timespent

Some scripts time-tracking using text files and Git
Nix
1
star
91

backpack-test

Haskell
1
star
92

brenfook

Haskell
1
star
93

reflex-list

Trying to achieve the notorious 'reactive list'
Haskell
1
star
94

date

Haskell library for working with dates
Haskell
1
star
95

thinkpad-x1-extreme-gen2-dualscreen.nix

A NixOS module that provides multi-screen functionality for the Thinkpad X1 Extreme (gen2)
Nix
1
star
96

qfpl-haskell-nix-stencil

Stencil for QFPL's haskell+nix projects (WIP)
Haskell
1
star
97

categorial-syntax

Experiments with parsing categorial grammars https://en.wikipedia.org/wiki/Categorial_grammar
Haskell
1
star
98

type-inference-talk

Talk about type inference and unification for BFPG
TeX
1
star
99

gitit-nix

Nix derivation for https://github.com/jgm/gitit
Nix
1
star
100

how-fast-does-it-quicksort

Benchmarks for quicksort implementations in various languages
Haskell
1
star