shouya/ckini shouya/ckini

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Elixir
  • License
    GNU General Publi...
  • Created over 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shouya/ckini
github

shouya

Reviews

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

Repository Details

A miniKanren implementation in Elixir

More Repositories

1

rss-funnel

RSS multi-tool
Rust
101
star
2

malakal

a day-planner/calendar app based on egui
Rust
34
star
3

thinking-dumps

This repo keeps track of my codes, answers and thinkings when exploring books.
Jupyter Notebook
30
star
4

ancilla.el

AI assisted code generation/refactory in Emacs
Emacs Lisp
16
star
5

parenbot-ex

parenbot revived
Elixir
15
star
6

telegram-bot

Yet another client for Telegram's Bot API
Ruby
14
star
7

parenbot

Superceded by shouya/parenbot-ex
Haskell
9
star
8

sage

Yet another lambda calculus interpreter
Ruby
8
star
9

loli

A toy lambda calculus language featuring lazy evaluation like Haskell
Racket
8
star
10

svm

A tiny virtual machine with extensible instruction set written in pure C
C
7
star
11

revo

an R5RS Scheme Interpreter
Ruby
5
star
12

anki-helper

A bunch of scripts to generate an import file for anki flash card
Ruby
5
star
13

ecto-tx

Composable transaction as an alternative to Ecto.Multi
Elixir
4
star
14

natural-time

A dirty natural language datetime parser in Elixir
Elixir
4
star
15

ip-over-http

Forward IP packets to a HTTP proxy
C
4
star
16

cant_cant_cant

Role-based authentication on controller actions, centrally configured
Ruby
4
star
17

projz

Project Z: An emulation of intel 8080 CPU in Haskell
Haskell
3
star
18

netcalc

Partition IP address space
Rust
3
star
19

lojban-anki

Generate an Anki deck for Lojban gismu
Elixir
2
star
20

youtube-audio-feed

Convert a YouTube channel into a Podcast
Rust
2
star
21

natural-time-zh

parsing time in natural chinese speech
Ruby
2
star
22

ai-librarian

Ask questions about your books
Python
2
star
23

emacs.d

le jai stika be la .imaks.
Emacs Lisp
2
star
24

fondbot

the unending fondness
Rust
2
star
25

cps

A trial on implementing continuation passing style transform: https://en.wikipedia.org/wiki/Continuation-passing_style
Haskell
2
star
26

revo-old

This repo was deprecated. see: https://github.com/shouya/revo
Ruby
1
star
27

hostgenerator

Host File Generator
Perl
1
star
28

sreg

Sreg is a Regular Expression engine implemented in Ruby. (see branch dev)
Ruby
1
star
29

ray

Let's play with ray tracing
Rust
1
star
30

poi

Webhook β†’ Script
Haskell
1
star
31

haskell-99

My Solutions for http://www.haskell.org/haskellwiki/99_questions/
Haskell
1
star
32

docker-duplicacy

automated backup of docker services with duplicacy
Shell
1
star
33

dotfiles

My shared configuration files
Emacs Lisp
1
star
34

fondness-bot

a telegram bot to save all message logs and process queries
Ruby
1
star
35

bar

A tetris game framework base on C/SDL
C
1
star
36

grooveshark-download

Download songs in a playlist from grooveshark in mp3 format.
Ruby
1
star
37

neko

An adorable typed calculus langauge for STLC, System F, and System F-Ο‰! (stalled)
Racket
1
star
38

blockgame

a tetris game base on SDL/C
C
1
star
39

whoever

Whoever == No matter who.
Ruby
1
star
40

dynamic_binding_demonstration

A simple implement of signal model like GTK+.
C
1
star
41

3body

An N-body problem visualization program (Chinese doc)
C++
1
star
42

gernytci

Lojban toolkit
Rust
1
star
43

n.zsh

A zsh script for quickly managing notes
Shell
1
star
44

ruby-cscript

A pure ruby implemented CScript programming language.
Ruby
1
star
45

clisp

lisp intepreter written in C
C
1
star