remexre/stahl remexre/stahl

  • This repository has been archived on 02/Aug/2020
  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Common Lisp
  • Created almost 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
remexre/stahl
github

remexre

Reviews

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

Repository Details

obsolete, see url below for the repo it's living in now

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

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

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