solomon-b/HowardLang solomon-b/HowardLang

  • Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 5 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
solomon-b/HowardLang
github

solomon-b

Reviews

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

Repository Details

An interpreted lambda calculus with Algebraic and Recursive Types.

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

monoidal-functors

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

kindly-functors

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

hmud

A mud server written in haskell
Haskell
8
star
7

hcatlab

An exploration of the category Hask
Haskell
7
star
8

titan

A Gemini Protocol Server
Haskell
6
star
9

blog.cofree.coffee

My Blog
HTML
4
star
10

metric-trees

Haskell
4
star
11

lambda-calculus-rs

Learning Rust via implementing the lambda cube
Rust
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