Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by remexre
A curated list of projects in awesome lists by remexre .
https://github.com/remexre/evaltrees
A simple term-rewriting interpreter that displays intermediate expressions.
education hindley-milner interpreter rust
Last synced: 05 Nov 2024
https://github.com/remexre/fall
An easily embeddable, futures-friendly logic engine.
Last synced: 05 Nov 2024
https://github.com/remexre/cl-wadler-pprint
An implementation of A Prettier Printer in Common Lisp.
Last synced: 05 Nov 2024
https://github.com/remexre/wam-tutorial-reconstruction
A Rust implementation of the machines in "Warren's Abstract Machine: A Tutorial Reconstruction."
prolog rust warren-abstract-machine
Last synced: 05 Nov 2024
https://github.com/remexre/hm-prolog
A Hindley-Milner implementation in Prolog.
Last synced: 05 Nov 2024
https://github.com/remexre/go-lightbar
Chromebook Pixel Lightbar Control from Go
Last synced: 05 Nov 2024
https://github.com/remexre/json-pointer
A crate for parsing and using JSON pointers, as specified in RFC 6901.
Last synced: 05 Nov 2024
https://github.com/remexre/extlint
An extensible linter for OCaml programs.
Last synced: 05 Nov 2024
https://github.com/remexre/swipl-rs
Rust bindings to SWI Prolog.
bindings prolog rust swi-prolog
Last synced: 05 Nov 2024
https://github.com/remexre/pretty_logger
A pretty logger similar to `pretty_env_logger`, but configured from the `init` function instead of from an environment variable.
Last synced: 05 Nov 2024
https://github.com/remexre/ttytheme
A utility to set colors in the Linux framebuffer console.
Last synced: 05 Nov 2024
https://github.com/remexre/nihctfplat
A CTF platform that was invented here.
Last synced: 05 Nov 2024
https://github.com/remexre/docker-openvpn-firefox
A Docker container for running Firefox behind OpenVPN.
Last synced: 05 Nov 2024
https://github.com/remexre/nvlmm
A Linux mod manager for Fallout: New Vegas
Last synced: 05 Nov 2024
https://github.com/remexre/lib
A bunch of utlities I found myself needing over and over again.
Last synced: 05 Nov 2024
https://github.com/remexre/cbor2json
A simple tool to convert CBOR to JSON (and back).
Last synced: 05 Nov 2024
https://github.com/remexre/monto-spell-check
A spell checking service for Monto.
Last synced: 05 Nov 2024
https://github.com/remexre/hashwriter-rs
A Write that keeps track of the hash of the content being written.
Last synced: 05 Nov 2024
https://github.com/remexre/stahl_bootstrap
The bootstrapping compiler for Stahl.
categorical-abstract-machine compiler stahl
Last synced: 05 Nov 2024
https://github.com/remexre/mandelbrot-rust-gl
OpenGL Mandelbrot Fractal Viewer in Rust
Last synced: 05 Nov 2024
https://github.com/remexre/x11-highlevel
[INCOMPLETE] Highlevel Rust bindings for X11.
Last synced: 05 Nov 2024
https://github.com/remexre/minnehack-website
Official website of MinneHack 2019 (wip)
Last synced: 05 Nov 2024
https://github.com/remexre/resolution
A solver for the resolution problems in CSCI4511W.
Last synced: 05 Nov 2024
https://github.com/remexre/sparkly-rs
A pretty-printing library based on Wadler's "A Prettier Printer" with support for ANSI styling.
Last synced: 05 Nov 2024
https://github.com/remexre/display_attr
A custom derive for implementing Display more easily.
Last synced: 05 Nov 2024
https://github.com/remexre/pretty_of_error
Or, Pretty errors aren't hard to implement; why aren't OCaml's pretty?
Last synced: 05 Nov 2024
https://github.com/remexre/optimalschedulewidget
An Android widget pared down to the minimum information wanted from the calendar.
Last synced: 05 Nov 2024
https://github.com/remexre/stahlnet-rs
A Rust implementation of StahlOS's network transport for IPC.
Last synced: 05 Nov 2024
https://github.com/remexre/notifypaste
Disallows pasting, sending a libnotify message instead.
Last synced: 05 Nov 2024
https://github.com/remexre/neuroflap
A genetic algorithm building neural nets to play Flappy Bird.
flappy-bird genetic-algorithm machine-learning neural-network rust
Last synced: 05 Nov 2024
https://github.com/remexre/mpisa
An experimental ISA simulator for a message-passing ISA.
Last synced: 05 Nov 2024
https://github.com/remexre/idris-group
Stuff related to the UMN plseminar going through Type-Driven Development in Idris in Fall 2019.
Last synced: 05 Nov 2024
https://github.com/remexre/language-oftlisp
Implements syntax highlighting for OftLisp.
Last synced: 05 Nov 2024
https://github.com/remexre/go-parcom
A parser combinator library inspired by Rust's nom library.
Last synced: 05 Nov 2024
https://github.com/remexre/game
Mirror of https://foundry.remexre.xyz/projects/game/
Last synced: 05 Nov 2024
https://github.com/remexre/json-schema
A crate for parsing JSON Schemas and using them to validate values.
Last synced: 05 Nov 2024
https://github.com/remexre/fbpdf-rs
A (much worse) clone of fbpdf written in Rust.
Last synced: 05 Nov 2024
https://github.com/remexre/gin-utils
Some utility functions for working with Gin.
Last synced: 15 Oct 2024