heyLu/mukanren-presentation heyLu/mukanren-presentation

  • Stars
    star
    2
  • Language
    Scheme
  • Created about 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
heyLu/mukanren-presentation
github

heyLu

Reviews

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

Repository Details

A presentation about µKanren

More Repositories

1

numblr

Alternative Tumblr (and Twitter, Instagram, AO3, RSS, ...) frontend.
Go
29
star
2

lp

A playground for me to play with programming languages
Go
7
star
3

reactive_coffee

A direct port of https://github.com/prujohn/Reactive-Dart to Coffeescript. (It works! :)
CoffeeScript
5
star
4

muq

A µcroscopic in-memory functional query engine.
Clojure
5
star
5

healthy

A tiny Linux process monitor
Python
5
star
6

capture

Which programs are doing (which kind of) network on my computer?
Go
4
star
7

qck

Type something, find something (quick)!
Zig
4
star
8

mu

👽 Alien space technology in your one-file database.
Go
4
star
9

share

A tiny personal minimalistic file-sharing service.
Go
3
star
10

900words

✏️ Write daily. 900 words to clear your head of things.
Go
3
star
11

dons

Look up docker container ip addresses using dns.
Go
3
star
12

confidence

An essay about what $HOME is.
C
3
star
13

lt-haskell

Kind-of deprecated: Haskell for Light Table (very alpha)
JavaScript
2
star
14

qst

Run things quickly.
Go
2
star
15

edn

Reading and writing edn data in Go
Go
2
star
16

gem-scope

Scoping for RubyGems (think rip, just a lot simpler). Doesn't work with RubyGems 1.5+, sadly.
Ruby
2
star
17

dllearner-nlp

DL-Learner + NLP = ?
Clojure
2
star
18

echo-chamber

A simple testing service
Go
1
star
19

rust-mupdf

Rust <3 mupdf
Rust
1
star
20

fressian

Reading and writing fressian data in Go
Go
1
star
21

linguaevalia

Evaluate anything!
Go
1
star
22

fis

fi(lm) s(cript) project for the wcm course at leipzig university
JavaScript
1
star
23

delicious

Testing tasting teliciously. Seriously, always less but funny.
Ruby
1
star
24

quickdoc

Quick, offline, minimalist documentation.
Go
1
star
25

expandr

expandr - Makes short urls long for great good.
Haskell
1
star
26

jark-client

Jark is a tool to run clojure code on the JVM, interactively and remotely.
OCaml
1
star
27

onelink

A platform for a community of focused discussions
Go
1
star
28

adventures_in_space

A force-based sort-of realistic space shooter.
Java
1
star
29

heylu.github.com

My $HOME is my castle (right now, it's kind of a cuckoo's nest).
CSS
1
star
30

weird_dreams

Sketches of weird ideas, most likely involving HTML5, the Canvas and Coffeescript.
HTML
1
star
31

notes

Note taking with integrated time travelling
Go
1
star
32

haskell-gi

Generate Haskell bindings for GObject-Introspection-capable libraries
Haskell
1
star
33

entertained

Movies! Maybe more later?
1
star