Jose F. Morales's repositories
jfmc.github.io
website
awesome-prolog
⚡️ Curated list of Prolog packages and resources
awesome-wasm
😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.
awesome-wasm-langs
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
ciao
Ciao is a general purpose, multi-paradigm programming language in the Prolog family. This is the main repository for the Ciao Prolog system.
CompilerJobs
A listing of compiler, language and runtime teams for people looking for jobs in this area
ctl
The C Template Library
DevOpicons
Heavily-optimised version of the Devicons icon-font.
Lean-game-maker
This project converts structured Lean code into an interactive browser game.
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.
libbthread
bionic library that provide some missing posix threading function
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.
logtalk3
Logtalk - declarative object-oriented logic programming language
M40001_lean
Lean stuff for M40001
natural_number_game
Building the natural numbers in Lean.
nostalgy
Keyboard productivity extension for Thunderbird
ocaml-tutorial
OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
pylgbst
Python library to interact with LEGO® Move Hub (from LEGO® BOOST set)
swipl-bench
Prolog benchmarks (`van Roy' set)
wambook
Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
z3-rise4fun
Z3 tutorials from the rise4fun website