acfoltzer/Molog acfoltzer/Molog

  • Stars
    star
    49
  • Rank 585,874 (Top 12 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 13 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
acfoltzer/Molog
github

acfoltzer

Reviews

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

Repository Details

A typed logic programming language embedded in Haskell

More Repositories

1

cargo-fund

Discover funding links for your project's dependencies.
Rust
66
star
2

gitrev

Compile git revision info into Haskell projects
Haskell
49
star
3

nbt

A parser/serializer for Minecraft's Named Binary Tag (NBT) data format.
Haskell
22
star
4

minecraft-data

Haskell library for manipulating Minecraft saved world data
Haskell
9
star
5

cereal-vector

Serialize instances for Data.Vector types
Haskell
5
star
6

text-register-machine

A Haskell implementation of the 1# Text Register Machine
Haskell
4
star
7

vector-space-opengl

Instances of vector-space classes for OpenGL types
Haskell
4
star
8

off-simple

A Haskell parser for simplified-syntax OFF files
Haskell
2
star
9

bit-vector

Simple bit vectors for Haskell
Haskell
2
star
10

wasmtime-async-hostcall

Rust
2
star
11

.emacs.d

Emacs Lisp
2
star
12

system-topology

Haskell library for runtime inspection of system topology
Haskell
2
star
13

persistent-refs

Haskell refs backed by an IntMap for persistence and reversibility
Haskell
2
star
14

f3lfo

Rust
1
star
15

RazorsLambda

A somewhat more complicated Hutton's Razor for testing ideas
Haskell
1
star