edubkendo/microKanren edubkendo/microKanren

  • Stars
    star
    1
  • Language
    Elixir
  • Created almost 10 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
edubkendo/microKanren
github

edubkendo

Reviews

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

Repository Details

An implementation of microKanren in Elixir

More Repositories

1

atom-racer

Intelligent code completion for Rust in the Atom Editor. Requires Racer.
CoffeeScript
115
star
2

atom-elm

An atom package providing syntax highlighting and snippets for the Elm language.
CoffeeScript
65
star
3

datomex

Elixir driver for the Datomic REST API
Elixir
47
star
4

supermemo

An Elixir implementation of the Supermemo 2 algorithm
Elixir
18
star
5

kitsune

An Elixir library for transforming the representation of data
CSS
11
star
6

OpalConsole

A Chrome extension to compile and run Opal in the browser. Inspired by CoffeeConsole.
JavaScript
10
star
7

smart_diff

A port to Ruby of the htmlizing portion of @yinwang0's psydiff to showcase jruby-parser's semantic diffing
CSS
8
star
8

demoApp

Working through Michael Hartl's Rail's Tutorial, but using Tower.js instead of Ruby on Rails
CoffeeScript
8
star
9

sublime-coffeescript-function-finder

A Sublime Text plug-in for finding function definitions in coffeescript. Adapted from @timdouglas 's sublime-find-function .
Python
5
star
10

towerBot

an irc bot built with Tower.js
CoffeeScript
5
star
11

arango

ArangoDB driver for Elixir.
Elixir
4
star
12

firstApp

Working through Michael Hartl's Rail's Tutorial, but using Tower.js instead of Ruby on Rails —
JavaScript
4
star
13

.dotfiles

Help yourself if you see anything of interest. You might take a peek at my Sublime Text 2 setup.md. Everything as-is, no guarantees, etc.
Shell
4
star
14

spellbook

A code completion tool for Elixir
Elixir
3
star
15

blog

The repo for http://ericwest.io
Elixir
3
star
16

tower-docs

Tower.js Documentation
CoffeeScript
2
star
17

FileTree

A simple ruby library for manipulating filepaths as tree structures
Ruby
2
star
18

Coffee-Ember-Brunch

A fork of @icholy 's Ember-Brunch skeleton converted to coffee-script
CoffeeScript
2
star
19

sampleApp

Working through Michael Hartl's Rail's Tutorial, but using Tower.js instead of Ruby on Rails —
CoffeeScript
2
star
20

first_app

My first app for Ruby on Rails tutorial
Ruby
1
star
21

link_extractor

From ElixirSips, episode 092 http://elixirsips.com/episodes/092_link_extractor.html
Elixir
1
star
22

demo_app

Ruby on Rails Tutorial demo application
Ruby
1
star
23

zappaEmberApp

zappajs, emberjs, brunch, websockets... not working yet!
CoffeeScript
1
star
24

sample_app

Ruby on Rails Tutorial Sample Application
Ruby
1
star
25

SampleDrools

Attempts at using Drools from JRuby
Java
1
star
26

quote_bot

A simple quote bot for Slack
Ruby
1
star
27

flashMessages

Rails-like flash messages for Towerjs
1
star
28

PDFConverter

A JRubyFX project
Ruby
1
star
29

docker-phoenix

Dockerfile for phoenix
Shell
1
star
30

funfunankideck

grab tweets from https://twitter.com/funfunconv and build anki deck
Elixir
1
star
31

SublimeJRubyFXML

Basic syntax highlighting for FXML and tools for working with JRubyFX
Python
1
star