Oregu/untyped Oregu/untyped

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    Clojure
  • License
    MIT License
  • Created almost 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Oregu/untyped
github

Oregu

Reviews

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

Repository Details

Relational lambda calculus interpreter with clojure core.logic.

More Repositories

1

featherweight

μKanren implementation in Haskell
Haskell
18
star
2

usher

Recurisive program synthesis.
Clojure
5
star
3

_.java

Java 8 functional utility _ belt
Java
3
star
4

Pakkuman

Pac-Man game in Haskell
Haskell
3
star
5

recur

Resursive program syntesis with relational interpreters in miniKanren.
Clojure
3
star
6

oregu.github.com

HTML
2
star
7

book-keeper

Book keeper app from Clojure101 course exercise.
Clojure
2
star
8

clj-life

Life in Clojure.
Clojure
2
star
9

clj-quines

Clojure core.logic quines.
Clojure
2
star
10

react-appsync-recipes

Tutorial based recipes app with React, GraphQL and AWS AppSync
JavaScript
1
star
11

na-logic

Non-Axiomatic Logic in clojure core.logic.
Clojure
1
star
12

project-euler

Project Euler, Diofant, HackerRank solutions written in Ruby, Haskell and Go
Ruby
1
star
13

hakutaku-src

hakutaku.me Hakyll generator.
HTML
1
star
14

j8

Java 8 Hipster slides
JavaScript
1
star
15

arduino-starter

Arduino starter kit code.
C++
1
star
16

cljs-quines

Moving quines generation code to the browser.
Clojure
1
star
17

schematic

Implementaion of Scheme programming languages in Haskell from "Write yourself a scheme in 48 hours" book.
Haskell
1
star
18

clj-ideagen

IntelliJ Idea project generation and proper Eclipse project import.
Clojure
1
star
19

stream-it-work-it

Kafka/Spark/Storm experiments.
Scala
1
star
20

cal.js

Calendar schedule interview practice.
JavaScript
1
star
21

commedhabitude

An exercise in Sinatra, Json, Heroku, New relic… and React.js
Ruby
1
star
22

calculi-js

Lambda calculus interpreter in your browser
JavaScript
1
star
23

super-simple-threadpool

Nothing but simple threadpool with LinkedBlockingQueue
Scala
1
star
24

redux-learn

Learn Redux with @wesbos
JavaScript
1
star
25

what-todo-lift

Simple todo manager for lift learning
Scala
1
star
26

rust-os

A minimal x86 kernel is Rust
Assembly
1
star
27

blockchain-py

Simple blockchain implementation in Python
Python
1
star
28

dine-reflect-share

A small concurrent/distributed playground.
Clojure
1
star
29

_graph

Graph theory implementation in Java.
Java
1
star
30

cHat

Simple chat server and client in Haskell and gtk2hs
Haskell
1
star
31

dotfiles

.
Haskell
1
star