KoviRobi/microKanren-SML KoviRobi/microKanren-SML

  • Stars
    star
    1
  • Language Standard ML
  • License
    MIT License
  • Created almost 6 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KoviRobi/microKanren-SML
github

KoviRobi

Reviews

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

Repository Details

Implementation of microKanren (logic-programming framework) in Standard ML.

More Repositories

1

Pye-Menu

Simple Python3 radial (pie) menu using GTK3 (via GObjectIntrospection)
Python
4
star
2

nixos-livecd-from-configuration.nix

This shows how a configuration.nix (my own, but modified) can be turned into a livecd
Nix
3
star
3

nix-index-rtld

Custom runtime linker like program which suggests a nix-shell compatible expression
2
star
4

nixos-config

NixOS configuration
Nix
2
star
5

simple-forth

A simple forth-interpreter, written for the Raspberry Pi, but also one in C, so that it can be developed without hardware, and debugged more easily.
Assembly
2
star
6

feh-random-background

Randomize your backgrounds while avoiding the birthday problem
Nix
1
star