The OpenMath Content Dictionaries
☆17Jun 28, 2022Updated 4 years ago
Alternatives and similar repositories for CDs
Users that are interested in CDs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- DictationBridge NVDA add-on☆10Sep 16, 2018Updated 7 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Atom and RSS feeds for arXiv articles☆18Aug 12, 2026Updated 2 weeks ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆21Jun 9, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Exploration of the Mayors in Europe with Wikidata and Python☆17Nov 12, 2022Updated 3 years ago
- WikidPad is a single user desktop wiki☆10Feb 29, 2016Updated 10 years ago
- Dynamic Signatures Generated by Regulatory Networks☆13Aug 21, 2019Updated 7 years ago
- ☆11Jun 29, 2014Updated 12 years ago
- Au Naturel is a LaTeX template built on top of the standard article class, roughly emulating some characteristics of the Nature Publishin…☆10May 2, 2018Updated 8 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- An annotation tool for grounding of formulae☆24May 28, 2024Updated 2 years ago
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- Simple Radial Layout for putting stuff in a circle or spiral.☆15Apr 19, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Image analysis software for estimating cell density in arrayed microbial cultures growing on solid agar☆12Aug 16, 2017Updated 9 years ago
- Computer-Aided Process Planner (CAPP) for Synthetic Biology Research☆11Jun 1, 2021Updated 5 years ago
- Overlapped primer design for entire coding sequence of the gene with specificity check☆13Feb 22, 2022Updated 4 years ago
- A Python molecular biology CAD tool with a dead-simple user interface☆13Dec 8, 2022Updated 3 years ago
- ☆12Aug 24, 2014Updated 12 years ago
- Example app for demonstrating CI/CD workflows.☆11Oct 4, 2016Updated 9 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 7 years ago
- Orce is a lightweight multiplayer online game server framework. Using a lock-free programming techniques, such as: atomic, spinlock, conc…☆14Jul 16, 2015Updated 11 years ago
- A projection-accurate interactive map that lets you compare the sizes of cities, countries and even buildings.☆16Jan 23, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Compute the timezone of latitude/longitude pairs.☆10Dec 17, 2021Updated 4 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 10 years ago
- Extensible protocol for document history metadata exchange, to enable trustworthy, rapid, open science, by and for preprint science commu…☆17Updated this week
- A REPL for nix expressions in your browser☆14May 5, 2018Updated 8 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆13Jun 16, 2022Updated 4 years ago
- Tutorial Material from the SST Team☆27Aug 5, 2025Updated last year
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- iCodon customizes gene expression based on the codon composition☆16Oct 28, 2023Updated 2 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- Docear: An Academic Literature Suite for Searching, Organizing and Creating Academic Literature☆13Nov 1, 2012Updated 13 years ago
- Lightweight markup language - Document Once☆53Jul 24, 2026Updated last month
- ☆14Nov 3, 2025Updated 9 months ago
- various toys in j☆12Apr 13, 2022Updated 4 years ago