-
HOL Public
Forked from HOL-Theorem-Prover/HOLForked sources of HOL4 (no cv_compute, etc.)
-
polyml Public
Forked from polyml/polymlForked sources of Poly/ML
Standard ML GNU Lesser General Public License v2.1 UpdatedOct 13, 2025 -
imlib-1.9.15 Public
The legacy imlib 1.9.15 (image libraries) on modern Debian systems
C GNU General Public License v2.0 UpdatedOct 11, 2025 -
cbpv-reasonable-HOL Public
Forked from ZhuoZoeyChen/cbpv-reasonable-HOLStandard ML BSD 3-Clause "New" or "Revised" License UpdatedSep 23, 2025 -
SWCLOS Public
Forked from SWCLOS/SWCLOSLisp-based OWL Full Processor on top of Common Lisp Object System (CLOS)
Common Lisp Other UpdatedSep 5, 2025 -
macports-ports Public
Forked from macports/macports-portsThe MacPorts ports tree
Tcl Other UpdatedJun 1, 2025 -
-
HOL-Probability Public
Measure, Lebesgue and Probability Theory for HOL4 (leftovers)
-
open-axiom Public
Forked from GabrielDosReis/open-axiomFork of OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
PostScript Other UpdatedApr 6, 2025 -
vivado-risc-v Public
Forked from eugene-tarassov/vivado-risc-vXilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro
Tcl UpdatedFeb 17, 2025 -
Acrobat-Actions Public
Actions, Commands and Plug-ins for Adobe® Acrobat® Pro
-
FPGA-Programming-Handbook Public
Forked from PacktPublishing/The-FPGA-Programming-Handbook-Second-EditionForked Repository for The FPGA Programming Handbook Second Edition, for Digilent Genesys 2
VHDL MIT License UpdatedDec 5, 2024 -
FBK-Public Public
Public files developed during my PhD study
-
ANU-Public Public
Public files for my postdoc at ANU
TeX Creative Commons Zero v1.0 Universal UpdatedOct 26, 2024 -
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Standard ML UpdatedSep 25, 2024 -
antlr4ide Public
Forked from antlr4ide/antlr4ideANTLR 4 IDE for Eclipse
-
axiom-code Public
Forked from daly/axiomAxiom is a free, open source computer algebra system
-
fm-plugin-tools Public
A toolkit for FileMaker plug-in developments in Common Lisp
-
bordeaux-threads Public
Forked from sionescu/bordeaux-threadsPortable shared-state concurrency for Common Lisp
Common Lisp MIT License UpdatedMar 13, 2024 -
opentheory Public
Forked from gilith/opentheoryThe opentheory tool processes higher order logic theory packages
-
cl-pdf Public
Forked from mbattyani/cl-pdfCL-PDF is a cross-platform Common Lisp library for generating PDF files.
-
-
informatica-public Public
Public code developed during my MSc study at University of Bologna
-
-
HOL-CCS Public
Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
-
portable-threads Public
Portable threads API for Common Lisp (from GBBopen project)
-
-
ColorTools Public
Forked from ramonpoca/ColorToolsTools for color management in Mac OS X and iOS, supporting Adobe Swatch Exchange and NSColorList formats
Objective-C MIT License UpdatedSep 12, 2020 -
pcl-cn Public
Practical Common Lisp (中英文对照版) - for Chinese only
-
{{ message }}