jasonhemann/23SP-CS2126 jasonhemann/23SP-CS2126

  • Stars
    star
    1
  • Language
    HTML
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jasonhemann/23SP-CS2126
github

jasonhemann

Reviews

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

Repository Details

Spring 2023 edition of Data Structures and Algorithms

More Repositories

1

microKanren

The implementation of microKanren, a featherweight relational programming language
Scheme
304
star
2

miniKanren

An outdated miniKanren implementation with a not-pairo constraint
Scheme
30
star
3

micro-in-mini

an implementation of a microKanren(-like language) in miniKanren
Racket
25
star
4

constraint-microKanren

A microKanren framework for implementing constraints.
Racket
18
star
5

microKanren-DLS-16

microKanren implementation from DLS '16
Racket
14
star
6

Roll-Your-Own-Relational-DSL

Lambda Jam 2014: Roll Your Own Relational DSL
Racket
14
star
7

lambdajam2013

Code for the interpreters workshop at Lambda Jam 2013
Scheme
13
star
8

microKanren-shen

An implementation of microKanren in Shen
Shen
9
star
9

natlogic

Declarative Encoding of Natural and Syllogistic Logics
Racket
6
star
10

small-micro-w-disequality

An early exploration of a "microKanren style" of constraints.
Racket
5
star
11

lambdastar

The lambdastar macro for currying and beyond
4
star
12

xform-mk

Strange Loop 2014
Racket
3
star
13

microKanren-extempore

An implementation of miniKanren over microKanren in extempore
3
star
14

constraint-micro-lambda-jam

Constraint microKanren presentation at Lambda Jam
Racket
3
star
15

dependently-typed-lang

A small, dependently-typed language
Racket
3
star
16

22FA-CSAS4117

Fall 22 version of CSAS 41117
HTML
2
star
17

novel-miniKanren-synthesis-tasks

Examples and code repository to accompany Hemann & Friedman 2020 mKW paper
Racket
2
star
18

jot-code

jot code of various flavors
Scheme
2
star
19

mK-miniKanren-interpreter

a miniKanren interpreter written in miniKanren
Scheme
2
star
20

micro-semantics

Repository for kanren semantics work
TeX
1
star
21

jasonhemann.github.io

Personal Website
HTML
1
star
22

mk-search-w-continuations

Continuation-based implementation of miniKanren search
Racket
1
star
23

emacs

My emacs configuration
Emacs Lisp
1
star
24

relational-quasiquote-unquote

Implementing a relational interpreter with quasiquote and unquote
Scheme
1
star
25

lolchez

A LOLCODE interpreter written in Chez Scheme.
Scheme
1
star
26

21FA-CS4400

My remote version for CS4400, here as long as the CCS Github isn't working
Racket
1
star
27

tfp-2023

tfp-version-of-conj-disj
TeX
1
star
28

multiple-of-threeo

A set of relations to determine if a miniKanren number is a multiple of three.
Racket
1
star