jorge-agra Goto Github PK

3d-force-graph

3D force-directed graph component using ThreeJS/WebGL

algeobra

algeobra is a dynamic geometry library that aims to help you create complex and interactive 2D geometry diagrams

carnap

A formal logic framework that runs in the browser

cindyjs

A JavaScript framework for interactive (mathematical) content.

codemirror-mathjax

Experimenting to replace $math$ with formulas inside CodeMirror

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.

dezog

Visual Studio Code Debugger for Z80/ZX Spectrum.

digital

A digital logic designer and circuit simulator.

dtt.mm

Metamath database for dependent type theory

flowy

The minimal javascript library to create flowcharts ✨

flt

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

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

grade-school-math

hendrycks-math

The MATH Dataset (NeurIPS 2021)

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

java-geometry-expert

Java Geometry Expert

java-geometry-expert-kovzol

Java Geometry Expert

jorge-agra.github.io

js-code-to-svg-flowchart

js2flowchart - a visualization library to convert any JavaScript code into beautiful SVG flowchart. Learn other’s code. Design your code. Refactor code. Document code. Explain code.

js-minecraft

A browser sandbox that provides all basic features to understand the render and physics engine of Minecraft.

jspeccy

A multiplatform ZX Spectrum emulator written in Java

jsspeccy3

a ZX Spectrum emulator for the browser

jsxgraph

JSXGraph is a cross-browser library for interactive geometry, function plotting, charting, and data visualization in a web browser.

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-blueprints

Metamath Blueprints