Pinned Repositories
RAHFT
RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata
ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
devenv
Full development environment (Emacs-based)
lpdoc
Documentation Generator for Prolog
jfmc.github.io
website
ppl
Read-only clone for Parma Polyhedra Library (PPL)
prolog-syntax-test
A test for Prolog syntax for github/linguist
yap-6.3
YAP Development release
z3-play
Z3 playground
jfmc's Repositories
jfmc/z3-play
Z3 playground
jfmc/ppl
Read-only clone for Parma Polyhedra Library (PPL)
jfmc/jfmc.github.io
website
jfmc/awesome-prolog
⚡️ Curated list of Prolog packages and resources
jfmc/awesome-wasm
😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.
jfmc/awesome-wasm-langs
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
jfmc/ciao
Ciao is a general purpose, multi-paradigm programming language in the Prolog family. This is the main repository for the Ciao Prolog system.
jfmc/codespace-ciao
jfmc/CompilerJobs
A listing of compiler, language and runtime teams for people looking for jobs in this area
jfmc/cpplinks
A categorized list of C++ resources.
jfmc/cppnow_presentations_2012
jfmc/ctl
The C Template Library
jfmc/DevOpicons
Heavily-optimised version of the Devicons icon-font.
jfmc/jfmc
jfmc/Lean-game-maker
This project converts structured Lean code into an interactive browser game.
jfmc/lego-ble-wireless-protocol-docs
This repository contains information about LEGO Hubs (name, battery level, etc.) and to interact with any sensors and motors connected to it.
jfmc/libbthread
bionic library that provide some missing posix threading function
jfmc/LLVM-9.0-Learner-Tutorial
A 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.
jfmc/logen
Offline partial evaluation system for Prolog written using the cogen approach
jfmc/logtalk3
Logtalk - declarative object-oriented logic programming language
jfmc/M40001_lean
Lean stuff for M40001
jfmc/natural_number_game
Building the natural numbers in Lean.
jfmc/nostalgy
Keyboard productivity extension for Thunderbird
jfmc/ocaml-tutorial
OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
jfmc/prolog
jfmc/pylgbst
Python library to interact with LEGO® Move Hub (from LEGO® BOOST set)
jfmc/quinquagenary
jfmc/swipl-bench
Prolog benchmarks (`van Roy' set)
jfmc/wambook
Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
jfmc/z3-rise4fun
Z3 tutorials from the rise4fun website