solomon-b/lambda-calculus-rs solomon-b/lambda-calculus-rs

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Rust
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
solomon-b/lambda-calculus-rs
github

solomon-b

Reviews

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

Repository Details

Learning Rust via implementing the lambda cube

More Repositories

1

greedypacker

2D Bin Packing Algorithms
Python
179
star
2

lambda-calculus-hs

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
Haskell
42
star
3

nixos-config

Homelab managed wtih Nix Flakes
Nix
20
star
4

HowardLang

An interpreted lambda calculus with Algebraic and Recursive Types.
Haskell
18
star
5

monoidal-functors

A library encoding monoidal functors and related structures in Haskell.
Haskell
16
star
6

kindly-functors

A category polymorphic `Functor` typeclass.
Haskell
11
star
7

hmud

A mud server written in haskell
Haskell
8
star
8

hcatlab

An exploration of the category Hask
Haskell
7
star
9

titan

A Gemini Protocol Server
Haskell
6
star
10

blog.cofree.coffee

My Blog
HTML
4
star
11

metric-trees

Haskell
4
star
12

SimpleLisp

A small Lisp implementation based on John McCarthy's 1960 paper "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I"
Haskell
4
star
13

profunctor-optics

An implementation of profunctor optics :)
Haskell
3
star
14

fudgets

A copy of Fudgets so that I can more easily include it as a dependency in a cabal.project file
Haskell
3
star
15

graded-monads

Graded Monads with a QualifiedDo interface
Haskell
2
star
16

jwt-config-generator

A small script for generating signed JWT Tokens and JWTConfig Objects for Hasura.
Nix
2
star
17

Algebra

Proving algebraic properties with Idris
Idris
1
star
18

web-server

Common web service stub for various projects.
Haskell
1
star
19

Cellular

Cellular Automata experiments in Idris
Idris
1
star
20

yampy-cube-clone

A reimplementation of Konstantin Zudov's Yampy Cube
Haskell
1
star
21

text-editor-prototype

PureScript
1
star
22

Dont-Worry-Be-Happy

Example projects for Happy and Alex
Haskell
1
star
23

graphql-parser

A Happy little GraphQL Parser
Haskell
1
star
24

IdrisBookExercises

Exercises for Type Driven Development With Idris
Idris
1
star