Oregu/featherweight Oregu/featherweight

  • Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Oregu/featherweight
github

Oregu

Reviews

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

Repository Details

μKanren implementation in Haskell

More Repositories

1

untyped

Relational lambda calculus interpreter with clojure core.logic.
Clojure
14
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