Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces
☆43Mar 12, 2017Updated 9 years ago
Alternatives and similar repositories for topologic
Users that are interested in topologic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Dec 7, 2019Updated 6 years ago
- Apache Spark on Apache Yarn 2.6.0 cluster Docker image☆12Oct 18, 2017Updated 8 years ago
- Random notes on mathematics (in German)☆13Jun 5, 2026Updated 2 weeks ago
- Example of using Airflow to schedule downloading data form S3 and launching spark jobs☆15Oct 17, 2016Updated 9 years ago
- Synless is a language-agnostic tree editor.☆23Apr 15, 2026Updated 2 months 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.
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 9 years ago
- Creates a counting system of radixes such as base 12 or mixed radixes such as Minutes/Hours/Days/Years (60/60/24/365)☆13May 8, 2019Updated 7 years ago
- Arithmetica is a reusable platform to democratize the computation and data availability of computational math problems.☆17Jun 21, 2018Updated 7 years ago
- ☆10Mar 18, 2021Updated 5 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- The Mathematics Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about mathematics over the years.☆16Nov 28, 2019Updated 6 years ago
- A collection of notable optimization problems solved with AMPL.☆13Jul 29, 2017Updated 8 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- If the NEO and QWERTZ layouts had a bastard child, this would be it.☆10Jan 21, 2020Updated 6 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17May 7, 2026Updated last month
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Go bindings for the Jupyter protocol☆10Jan 8, 2024Updated 2 years ago
- A Redux enhancer to manage groups of actions as observables ("agendas")☆12May 25, 2017Updated 9 years ago
- The DSP Cookbook☆23Oct 27, 2017Updated 8 years ago
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 6 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Homomorphic Encryption in Python☆19Jan 28, 2018Updated 8 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.
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Terraform module for a PostgreSQL-backed Apache Airflow instance☆24May 16, 2018Updated 8 years ago
- ☆15Aug 20, 2024Updated last year
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- Brighten up your Slack with Pocket Monsters☆13May 30, 2018Updated 8 years ago
- Interactive programming for Atom☆13Jul 1, 2016Updated 9 years ago
- Alias-free Bessel function synthesis☆12Dec 12, 2014Updated 11 years ago
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- Redis Backend for Jupyter's Configurable Proxy☆12Oct 25, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Query GitHub API v4 using GraphQL☆15Dec 16, 2017Updated 8 years ago
- DEPRECATED: Use bevel instead.☆25Dec 17, 2020Updated 5 years ago
- Fallout 4 native mods☆13May 2, 2017Updated 9 years ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- Port of Scala/Haskell Refined library to Idris☆17Apr 25, 2021Updated 5 years ago
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 7 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago