-
-
hakank Public
Forked from hakank/hakankMy public programs and models - mostly combinatorial problems and puzzles
JavaScript MIT License UpdatedNov 27, 2025 -
LPTP-worksheets-ALDs Public
Forked from FredMesnard/LPTP-worksheetsA set of worksheets to gradually learn LPTP, a Logic Program Theorem Prover
-
ciao Public
Forked from ciao-lang/ciaoCiao is a general purpose, multi-paradigm programming language in the Prolog family. This is the main repository for the Ciao Prolog system.
Prolog GNU Lesser General Public License v3.0 UpdatedJun 21, 2025 -
awesome-wasm Public
Forked from mbasso/awesome-wasm😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.
Creative Commons Zero v1.0 Universal UpdatedJan 28, 2024 -
swipl-bench Public
Forked from SWI-Prolog/benchProlog benchmarks (`van Roy' set)
Prolog UpdatedDec 1, 2023 -
-
awesome-wasm-langs Public
Forked from appcypher/awesome-wasm-langs😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
UpdatedJul 11, 2022 -
-
-
M40001_lean Public
Forked from ImperialCollegeLondon/M40001_leanLean stuff for M40001
Lean UpdatedOct 20, 2021 -
-
z3-rise4fun Public
Forked from philzook58/z3-rise4funZ3 tutorials from the rise4fun website
-
natural_number_game Public
Forked from ImperialCollegeLondon/natural_number_gameBuilding the natural numbers in Lean.
Lean Apache License 2.0 UpdatedSep 16, 2021 -
-
Lean-game-maker Public
Forked from mpedramfar/Lean-game-makerThis project converts structured Lean code into an interactive browser game.
TypeScript Apache License 2.0 UpdatedAug 11, 2021 -
-
DevOpicons Public
Forked from file-icons/DevOpiconsHeavily-optimised version of the Devicons icon-font.
Makefile UpdatedDec 18, 2020 -
libbthread Public
Forked from tux-mind/libbthreadbionic library that provide some missing posix threading function
C GNU Lesser General Public License v2.1 UpdatedJun 14, 2020 -
logtalk3 Public
Forked from LogtalkDotOrg/logtalk3Logtalk - declarative object-oriented logic programming language
Prolog Apache License 2.0 UpdatedJun 1, 2020 -
logen Public
Forked from leuschel/logenOffline partial evaluation system for Prolog written using the cogen approach
Prolog UpdatedMar 13, 2020 -
-
wambook Public
Forked from a-yiorgos/wambookWarren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
PostScript UpdatedFeb 23, 2020 -
pylgbst Public
Forked from undera/pylgbstPython library to interact with LEGO® Move Hub (from LEGO® BOOST set)
Python MIT License UpdatedDec 27, 2019 -
CompilerJobs Public
Forked from mgaudet/CompilerJobsA listing of compiler, language and runtime teams for people looking for jobs in this area
UpdatedDec 12, 2019 -
nostalgy Public
Forked from opto/nostalgyKeyboard productivity extension for Thunderbird
JavaScript zlib License UpdatedSep 9, 2019 -
LLVM-9.0-Learner-Tutorial Public
Forked from zslwyuan/LLVM-9.0-Learner-TutorialA blog for LLVM(v9.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accomplish a complete project for FPGA High-Level Synthesis with it.
C++ GNU General Public License v3.0 UpdatedJul 3, 2019 -
awesome-prolog Public
Forked from klaudiosinani/awesome-prolog⚡️ Curated list of Prolog packages and resources
Creative Commons Zero v1.0 Universal UpdatedApr 27, 2019 -
ocaml-tutorial Public
Forked from kayceesrk/ocaml-tutorialOCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
Jupyter Notebook Apache License 2.0 UpdatedApr 21, 2019 -
lego-ble-wireless-protocol-docs Public
Forked from LEGO/lego-ble-wireless-protocol-docsThis repository contains information about LEGO Hubs (name, battery level, etc.) and to interact with any sensors and motors connected to it.
MIT License UpdatedFeb 8, 2019
{{ message }}