☆19Jul 10, 2026Updated 2 months ago
Alternatives and similar repositories for smoothmanifold
Users that are interested in smoothmanifold are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability☆21Jan 31, 2020Updated 6 years ago
- Mathematical notes and papers☆28Jun 15, 2026Updated 3 months ago
- Lecture Notes for HKUST MATH2131☆34Mar 3, 2026Updated 6 months ago
- ☆28Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Turing machine visualizer☆23Feb 28, 2020Updated 6 years ago
- UUID V1, V6, V7 & TypeID generation with ZIO☆13Updated this week
- Verifying the SCION architecture using Gobra☆12Updated this week
- ☆17Updated this week
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 3 years ago
- ITMO labs☆30Oct 22, 2023Updated 2 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- from https://sourceforge.net/projects/libquickmail/☆12Apr 16, 2020Updated 6 years ago
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 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.
- Linearizability Hoare Logic☆17Updated this week
- Task datatype, meant for cross-language interop (Java, Kotlin, Scala)☆18Updated this week
- Kuzminki is feature-rich query builder and access library for PostgreSQL written in Scala.☆16Mar 1, 2026Updated 6 months ago
- just place for some random notes about programming☆19Feb 16, 2026Updated 7 months ago
- Что-то. Надо много сделать☆10Mar 21, 2020Updated 6 years ago
- This is a clone of an SVN repository at http://svn.code.sf.net/p/codeblocks/code/trunk. It had been cloned by http://svn2github.com/ , bu…☆11Jan 16, 2019Updated 7 years ago
- Implementation in Java of the paper "Optimal Bounds for Open Addressing Without Reordering"☆17Feb 14, 2025Updated last year
- A minimalist DB migration manager.☆20Apr 28, 2024Updated 2 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 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.
- Puzzle game☆14Jan 28, 2022Updated 4 years ago
- Mahogany cross-platform email client☆12Jul 9, 2026Updated 2 months ago
- Monitor changes across a collection of Git repositories☆11Jan 19, 2019Updated 7 years ago
- Concise monadic parser combinator library with separate lexer/parser phases, off-side rule and big-size input support.☆11May 25, 2026Updated 3 months ago
- An experimental lexer and parser generator☆10Jul 31, 2018Updated 8 years ago
- Object Pascal Compiler/Transpiler☆12Jul 15, 2015Updated 11 years ago
- automate your document generation process☆11Apr 10, 2026Updated 5 months ago
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 5 years ago
- A wxWidgets utility module for VisualScriptEngine☆17Jan 7, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Aug 8, 2026Updated last month
- Introducing tagless-final in Scala with an example of Language-Integrated Query☆18Sep 7, 2020Updated 6 years ago
- CodeBlocks 配置目录说明和个性配置文件☆10Jun 6, 2020Updated 6 years ago
- ☆17Jul 7, 2019Updated 7 years ago
- Fast, lightweight and cross-platform code-editor☆14Sep 6, 2026Updated 2 weeks ago
- Copy recursively all email messages and folders from 1 imap account to another☆14Updated this week
- Scalpel stands for source code analysis, libre and portable library. This is a C++ library which aims to perform full syntax and semantic…☆16Mar 8, 2012Updated 14 years ago