jasonhemann/natlogic jasonhemann/natlogic

  • Stars
    star
    6
  • Rank 2,524,650 (Top 51 %)
  • Language
    Racket
  • License
    MIT License
  • Created over 10 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jasonhemann/natlogic
github

jasonhemann

Reviews

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

Repository Details

Declarative Encoding of Natural and Syllogistic Logics

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

small-micro-w-disequality

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

lambdastar

The lambdastar macro for currying and beyond
4
star
11

xform-mk

Strange Loop 2014
Racket
3
star
12

microKanren-extempore

An implementation of miniKanren over microKanren in extempore
3
star
13

constraint-micro-lambda-jam

Constraint microKanren presentation at Lambda Jam
Racket
3
star
14

dependently-typed-lang

A small, dependently-typed language
Racket
3
star
15

22FA-CSAS4117

Fall 22 version of CSAS 41117
HTML
2
star
16

novel-miniKanren-synthesis-tasks

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

jot-code

jot code of various flavors
Scheme
2
star
18

mK-miniKanren-interpreter

a miniKanren interpreter written in miniKanren
Scheme
2
star
19

micro-semantics

Repository for kanren semantics work
TeX
1
star
20

jasonhemann.github.io

Personal Website
HTML
1
star
21

mk-search-w-continuations

Continuation-based implementation of miniKanren search
Racket
1
star
22

emacs

My emacs configuration
Emacs Lisp
1
star
23

relational-quasiquote-unquote

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

lolchez

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

23SP-CS2126

Spring 2023 edition of Data Structures and Algorithms
HTML
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