takikawa/minikanren takikawa/minikanren

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Racket
  • Created almost 12 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
takikawa/minikanren
github

takikawa

Reviews

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

Repository Details

This is a Planet 2 package for minikanren

More Repositories

1

drracket-vim-tool

Vim-like editing for DrRacket
Racket
188
star
2

racket-clojure

#lang clojure
Racket
117
star
3

tr-pfds

Typed Racket data structure libraries
Racket
58
star
4

drracket-solarized

Solarized color theme for DrRacket
Racket
54
star
5

sweet-racket

A port of sweet expressions to Racket
Racket
49
star
6

racket-dev-goodies

Scripts for Racket developers
Shell
24
star
7

wasm-redex

WebAssembly model in Redex
Racket
16
star
8

racket-ppa

Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details & instructions.
Racket
10
star
9

contract-repl

An experiment with the REPL & contracts
Racket
8
star
10

racket-profile-flamegraph

Hooks up Racket profile outputs to FlameGraph
Racket
7
star
11

racket-rsvg

RSVG bindings for Racket
Racket
6
star
12

raco-find-collection

A raco script for finding collections
Racket
6
star
13

racket-dockerfiles

Dockerfiles for Racket
5
star
14

pict-utils

Some pict utilities
Racket
5
star
15

racket-libnotify

Racket
4
star
16

slideshow-text-style

A simple library that helps format text in Racket slideshows
Racket
4
star
17

racket-generics

Racket
4
star
18

racket-cow-repl

A script that calls out to cowsay for the Racket REPL
Racket
4
star
19

wiiscouter

C++
3
star
20

racket-inspect-syntax

Simple utility library for debugging syntax objects from the CLI
Racket
3
star
21

abstract-methods

Fork of plt for developing abstract methods.
Racket
3
star
22

racket-player

Music player written in Racket
Racket
3
star
23

tex2page

Dorai Sitaram's tex2page package
Racket
2
star
24

pprint.plt

Pretty printing library for Racket developed by Dave Herman
Racket
2
star
25

racket-gstreamer

GStreamer bindings for Racket
Racket
2
star
26

taglib-racket

Racket FFI bindings to taglibc
Racket
2
star
27

racket-gsoc-app

2
star
28

slideshow-preview-tool

Racket
1
star
29

object-calculus

Racket
1
star
30

TAPL

Scheme implementation of TAPL languages for fun
Scheme
1
star
31

bigloo-wasm-dockerfile

Dockerfile
1
star
32

racket-cpu-affinity

A Racket library for getting/setting CPU affinity
Racket
1
star
33

ppict-slide-grid

Puts a grid on your pslide-based slide presentation
Racket
1
star
34

flat-class

Racket
1
star
35

racket-bib

Bibliography of Racket papers
Racket
1
star
36

combinator-parser

Legacy parser combinator library for Racket
Racket
1
star
37

racket-fontconfig

Racket
1
star
38

racket-gist

Racket
1
star
39

racket-aosd

Racket
1
star
40

pgf-dc

An implementation of Racket's dc<%> interface that draws to PGF
Racket
1
star