jpraher/smackage
Smackage Package Manager for Standard ML
Public GitHub Catalog
Discovered Sep 26, 2026
jpraher / teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog (clone of http://code.google.com/p/teyjus/)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7333088GitHub System ID
jpraherOrganization / User
PublicVisibility
ActiveCatalog Status
More from jpraher
jpraher/riscv-isa-sim
RISC-V Functional ISA Simulator
jpraher/julia-studio
An IDE for the Julia Language
jpraher/Cxx.jl
The Julia C++ Interface