-
vdm2cpp Public
VDM-SL to C++ translator plugin
Java GNU General Public License v3.0 UpdatedJan 4, 2025 -
bottom-up-parsers Public
Specifications of bottom-up parsers in VDM-SL
GNU General Public License v3.0 UpdatedDec 28, 2024 -
libtcod-ada Public
An Ada binding for the libtcod rougelike library
-
modern-compiler-in-ml Public
My implementations of programs from the textbook "Modern Compiler Implementation in ML"
Standard ML GNU Affero General Public License v3.0 UpdatedJul 9, 2024 -
millet Public
Forked from azdavis/milletA language server for Standard ML.
Rust Apache License 2.0 UpdatedJun 26, 2024 -
wp Public
Guarded Command Language and Weakest Precondition tools
Standard ML GNU General Public License v3.0 UpdatedJun 23, 2024 -
-
bluebird Public
A work-in-progess programming language modeled after Ada and C++
-
editorial Public
A TUI text editor written in C++
-
-
-
serenity Public
Forked from SerenityOS/serenityThe Serenity Operating System 🐞
C++ BSD 2-Clause "Simplified" License UpdatedNov 22, 2021 -
rougelike-ada Public
A rougelike game written in Ada 2012
-
editor Public
A custom text editor using the FLTK GUI toolkit
-
-
rougelike Public
A rougelike game written using C++11 and termbox
-
html-plus-plus Public
Write HTML using C++ templates
-
strong-types Public
Single-header implementation of strong typedefs in C++
-
Backtrack Public
A C++17 library with Prolog-like functionality (Work-In-Progress)
-
markdown Public
C++ Markdown parser
-
ginevra Public
A very basic C++ preprocessor supporting only #define directives, based on the ginevra program in Arthur Pyster's book, Compiler Design and Construction
C++ UpdatedDec 17, 2019 -
bthreads Public
An implementation of behavioral programming in Python
-
mail.py Public
A bare bones email client in Python. Supports IMAP/SMTP
Python GNU Lesser General Public License v3.0 UpdatedJun 26, 2019 -
event-simulator Public
Simulation module using Markov chains
-
tk-code Public
A prototype text editor/IDE in Ruby/Tk
-
final-project-march-madness Public
final-project-march-madness created by GitHub Classroom
JavaScript UpdatedApr 25, 2019 -
squad-tactical-game Public
An XCOM-like, turn-based tactical game made in Ruby/Tk from a 2D, top-down perspective
Ruby UpdatedApr 2, 2019 -
project-Chevron-with-Techron Public
Forked from warmgreycen/project-Chevron-with-Techron2018 FIRST Robotics Competition - Code for Team 6530 Ra. Includes autonomous functionality and code for operator control
HTML UpdatedMar 15, 2018
{{ message }}