remexre/swipl-rs remexre/swipl-rs

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Rust
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
remexre/swipl-rs
github

remexre

Reviews

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

Repository Details

Rust bindings to SWI 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

wam-tutorial-reconstruction

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

fall

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

cl-wadler-pprint

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

hm-prolog

A Hindley-Milner implementation in Prolog.
Prolog
6
star
8

symbol-rs

Simple globally interned strings.
Rust
5
star
9

stahl

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

json-pointer

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

nvlmm

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

go-lightbar

Chromebook Pixel Lightbar Control from Go
Go
4
star
13

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
14

ttytheme

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

extlint

An extensible linter for OCaml programs.
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

go-parallisp

The Go compiler for parallisp.
Go
1
star
31

tri

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

mandelbrot-rust-gl

OpenGL Mandelbrot Fractal Viewer in Rust
Rust
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