A repository of mathematical knowledge written in the Mathlingua language.
☆17Nov 21, 2024Updated last year
Alternatives and similar repositories for mathlore-content
Users that are interested in mathlore-content are comparing it to the libraries listed below
Sorting:
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Fiddling with Lindenmayer systems☆15Mar 24, 2023Updated 2 years ago
- A PPX extension for big array literals in OCaml☆19Jul 18, 2018Updated 7 years ago
- Transformer-based models for Natural Language Processing in OCaml☆26May 10, 2021Updated 4 years ago
- automatic differentiation/integration of PDEs☆24May 22, 2018Updated 7 years ago
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆28Mar 26, 2019Updated 6 years ago
- Some experiments… and maybe a surprise coming.☆33Nov 10, 2018Updated 7 years ago
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Feb 27, 2023Updated 3 years ago
- Persistent vectors for OCaml☆42Feb 19, 2018Updated 8 years ago
- Python test runner built in Rust☆19Feb 20, 2026Updated last week
- An instance of the Newsapps Boundary Service for the City of Tyler and Smith County, Texas.☆13Nov 29, 2011Updated 14 years ago
- This repo contains a list of aws security related talks.☆12Dec 5, 2017Updated 8 years ago
- Google Sheet Formulas Markdown in Notepad++☆10Jun 9, 2025Updated 8 months ago
- ☆10Apr 27, 2022Updated 3 years ago
- Complements a series at wp.tutsplus.com on Custom Database Tables☆11Dec 6, 2012Updated 13 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- This project contains the original white paper for Language Construct Modeling (LCM) v1.13, authored by Vincent Shing Hin Chong. It intro…☆15Jul 23, 2025Updated 7 months ago
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- A collection of useful, free, single-file libraries for C.☆11Oct 15, 2015Updated 10 years ago
- ☆12Jan 27, 2026Updated last month
- ☆25Jan 30, 2026Updated last month
- ☆21Jul 25, 2025Updated 7 months ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- Veracode security scanning build extension for Visual Studio Team Services☆14Mar 8, 2016Updated 9 years ago
- A set of visualization engines.☆14Updated this week
- Revamp ocaml-manual☆10Oct 18, 2020Updated 5 years ago
- A server made only by composing functions☆10Jul 1, 2017Updated 8 years ago
- Django app including models and import scripts for the USDA Nutritional Database.☆11Sep 24, 2017Updated 8 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- A GDB/MI interface library for C and C++☆11Jul 14, 2017Updated 8 years ago
- Examples of authoring rich content for various academic subject areas in Jupyter notebooks☆12Nov 12, 2021Updated 4 years ago
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- How to convert MDS trip data to anonymized open data for city governments.☆10Jul 6, 2020Updated 5 years ago
- Common Lisp Package for Parallel Corpus Processing☆13Feb 17, 2024Updated 2 years ago
- a PhoneGap/Cordova plugin for OpenEars:☆10Apr 27, 2015Updated 10 years ago
- Granite 3.3 repository☆22Jun 25, 2025Updated 8 months ago
- ☆16Apr 11, 2023Updated 2 years ago
- acmeair-netflixoss-dockerlocal☆13Aug 22, 2014Updated 11 years ago