jorge-agra Goto Github PK

3d-force-graph

3D force-directed graph component using ThreeJS/WebGL

carnap

A formal logic framework that runs in the browser

codeproject.ai-server

CodeProject SenseAI is a self contained service that software developers can include in, and distribute with, their applications in order to augment their apps with the power of AI.

d3-hexgrid

Regular hexagon tessellation with edge cover detection.

digital

A digital logic designer and circuit simulator.

dtt.mm

Metamath database for dependent type theory

force-graph

Force-directed graph rendered on HTML5 canvas

geojson.io

A quick, simple tool for creating, viewing, and sharing spatial data

gitea

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

hipcam

Tools for recording Hiproofs in hol-light and visualising them in a web browser

historical-basemaps

Collection of georeferenced boundaries of world countries and cultural regions for use in mapping historical data on global or continental scale

jorge-agra.github.io

logic-solver

mathematics_dataset

This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.

metamath-exe

Metamath program - source code for the Metamath executable

minif2f

An updated version of miniF2F with lots of fixes and informal statements / solutions.

natural_number_game

Building the natural numbers in Lean.

nearley

📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.

node-lmdb

Node.js binding for lmdb

planargraphlab

Tool to visualize algorithms on planar graphs

rmzoo

set.mm

Metamath source file for logic and set theory

smm

sorear's Metamath system engine

sphere-eversion

Formalization of the existence of sphere eversions

theoremdep-source

Source files for TheoremDep - a theorem dependency tracker

torobomath-benchmark

vdomtraining

Example code for learning Oracle JET Virtual DOM Architecture based applications.