zacque0's Stars
Ravenbrook/mlworks
MLWorks is a Standard ML compiler and development environment.
elpinal/bright-ml
A statically-typed programming language based on "F-ing modules"
sunchao/tiger
Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
tomprimozic/type-systems
Implementations of various type systems in OCaml.
hengestone/lua-languages
Languages that compile to Lua
REMath/implementations
Implementations of program analysis tools with a focus on machine code
technicat/technicat-on-software
software essays
SvenWille/LogicForwardProofs
Propositional logic and FOL proofs (froward style)
jaalonso/Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
meithecatte/isabelle-math-contests
Solutions to math olympiad problems in Isabelle/HOL
SKolodynski/IsarMathLib
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
fsfe/reuse-tool
reuse is a tool for compliance with the REUSE recommendations.
data61/PSL
maude-lang/Maude
Language based on Rewriting Logic
oz123/awesome-c
A curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out there.
ReversingID/Awesome-Reversing
A curated list of awesome reverse engineering resources for various topics
PayDevs/awesome-oss-monetization
🏆 A curated list of monetization approaches for open-source software. Feedback welcome!
rems-project/islaris
isla coq infrastructure
awesomo4000/awesome-provable
A curated set of links to formal methods involving provable code.
coq-community/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
dtonhofer/prolog_notes
Some notes taken while working on Prolog
Interlisp/medley
The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Interlisp.github.io (web site sources)
Interlisp/maiko
Medley Interlisp virtual machine
Jobhdez/scheme-desugarer
A scheme desugarer
sjl/temperance
A logic programming library for Common Lisp.
didierverna/declt
Reference manual generator for Common Lisp libraries
sirherrbatka/cl-data-structures
Data Structures and streaming algorithms for Common Lisp.
screenshotbot/screenshotbot-oss
A Screenshot Testing service to tie with your existing Android, iOS and Web screenshot tests
robert-strandh/Bootstrap-Common-Lisp
An implementation of Common Lisp with the sole purpose of bootstrapping other implementations.
binghe/PCL
Portable CommonLoops for modern CL platforms (unfinished work)