remexre/stahl

This repository has been archived on 02/Aug/2020
Stars
4
Rank 3,304,323 (Top 66 %)
Language
Common Lisp
Created almost 6 years ago
Updated over 4 years ago

remexre/stahl

remexre

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

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

pyfreenect2

Python bindings to libfreenect2

evaltrees

A simple term-rewriting interpreter that displays intermediate expressions.

forth386

A bare-metal Forth for i386 machines.

wam-tutorial-reconstruction

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

fall

An easily embeddable, futures-friendly logic engine.

cl-wadler-pprint

An implementation of A Prettier Printer in Common Lisp.

hm-prolog

A Hindley-Milner implementation in Prolog.

symbol-rs

Simple globally interned strings.

json-pointer

A crate for parsing and using JSON pointers, as specified in RFC 6901.

nvlmm

A Linux mod manager for Fallout: New Vegas

go-lightbar

Chromebook Pixel Lightbar Control from Go

pretty_logger

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

ttytheme

A utility to set colors in the Linux framebuffer console.

extlint

An extensible linter for OCaml programs.

swipl-rs

Rust bindings to SWI Prolog.

minidep

A small dependently typed language.

fstlc

An STLC to Forth386 compiler.

docker-openvpn-firefox

A Docker container for running Firefox behind OpenVPN.

janus

A simple IRC-Discord bridge.

cbor2json

A simple tool to convert CBOR to JSON (and back).

remexre.github.io

nihctfplat

A CTF platform that was invented here.

luml

A UML diagram generator.

lib

A bunch of utlities I found myself needing over and over again.

stahl_bootstrap

The bootstrapping compiler for Stahl.

megacrossbuild

A bunch of cross-compilers.

stahlos

monto-spell-check

A spell checking service for Monto.

hashwriter-rs

A Write that keeps track of the hash of the content being written.

go-parallisp

The Go compiler for parallisp.

tri

A simple task bot for Slack (Discord support in progress).

mandelbrot-rust-gl

OpenGL Mandelbrot Fractal Viewer in Rust

datalog

A series of interpreters for Datalog.

serde_sexpr

S-expression support for Serde

tmst

Simple timesheet software.