remexre/hm-prolog remexre/hm-prolog

  • Stars
    star
    6
  • Rank 2,524,650 (Top 51 %)
  • Language
    Prolog
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
remexre/hm-prolog
github

remexre

Reviews

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

Repository Details

A Hindley-Milner implementation in Prolog.

More Repositories

1

pyfreenect2

Python bindings to libfreenect2
C++
26
star
2

evaltrees

A simple term-rewriting interpreter that displays intermediate expressions.
Rust
14
star
3

forth386

A bare-metal Forth for i386 machines.
Assembly
12
star
4

fall

An easily embeddable, futures-friendly logic engine.
Rust
9
star
5

wam-tutorial-reconstruction

A Rust implementation of the machines in "Warren's Abstract Machine: A Tutorial Reconstruction."
Rust
8
star
6

cl-wadler-pprint

An implementation of A Prettier Printer in Common Lisp.
Common Lisp
7
star
7

symbol-rs

Simple globally interned strings.
Rust
5
star
8

stahl

obsolete, see url below for the repo it's living in now
Common Lisp
4
star
9

json-pointer

A crate for parsing and using JSON pointers, as specified in RFC 6901.
Rust
4
star
10

nvlmm

A Linux mod manager for Fallout: New Vegas
Go
4
star
11

go-lightbar

Chromebook Pixel Lightbar Control from Go
Go
4
star
12

pretty_logger

A pretty logger similar to `pretty_env_logger`, but configured from the `init` function instead of from an environment variable.
Rust
3
star
13

ttytheme

A utility to set colors in the Linux framebuffer console.
Rust
3
star
14

extlint

An extensible linter for OCaml programs.
Rust
3
star
15

swipl-rs

Rust bindings to SWI Prolog.
Rust
3
star
16

minidep

A small dependently typed language.
SystemVerilog
3
star
17

fstlc

An STLC to Forth386 compiler.
Rust
3
star
18

docker-openvpn-firefox

A Docker container for running Firefox behind OpenVPN.
Shell
2
star
19

janus

A simple IRC-Discord bridge.
Rust
2
star
20

cbor2json

A simple tool to convert CBOR to JSON (and back).
Rust
2
star
21

remexre.github.io

HTML
2
star
22

nihctfplat

A CTF platform that was invented here.
Rust
2
star
23

luml

A UML diagram generator.
Rust
2
star
24

lib

A bunch of utlities I found myself needing over and over again.
Rust
2
star
25

stahl_bootstrap

The bootstrapping compiler for Stahl.
Makefile
1
star
26

megacrossbuild

A bunch of cross-compilers.
Dockerfile
1
star
27

stahlos

A hobby OS.
1
star
28

monto-spell-check

A spell checking service for Monto.
Haskell
1
star
29

hashwriter-rs

A Write that keeps track of the hash of the content being written.
Rust
1
star
30

tri

A simple task bot for Slack (Discord support in progress).
Rust
1
star
31

mandelbrot-rust-gl

OpenGL Mandelbrot Fractal Viewer in Rust
Rust
1
star
32

go-parallisp

The Go compiler for parallisp.
Go
1
star
33

datalog

A series of interpreters for Datalog.
Rust
1
star
34

serde_sexpr

S-expression support for Serde
Rust
1
star
35

tmst

Simple timesheet software.
Rust
1
star