☆19Jan 5, 2026Updated 4 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:
- Repository for homeworks.☆10Jun 1, 2021Updated 4 years ago
- Source code & exercises in Arend's documentation☆21Jul 19, 2021Updated 4 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Mathematical notes and papers☆27Jan 22, 2026Updated 3 months ago
- types for various combinatory systems, especialy tree calculi☆27Jan 23, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability☆21Jan 31, 2020Updated 6 years ago
- ☆18Mar 14, 2024Updated 2 years ago
- Turing machine visualizer☆22Feb 28, 2020Updated 6 years ago
- Data modeling and versioning language with automatic evolution derivation☆24Updated this week
- Verifying the SCION architecture using Gobra☆12Updated this week
- Внедрение в инструменты BPM (Business Process Management software tools моделирования верхнеуровневых и детальных процессов) и EA (от биз…☆17Feb 28, 2026Updated 2 months ago
- ☆14Apr 29, 2026Updated last week
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- ☆12May 7, 2025Updated last year
- 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.
- 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
- ☆15Dec 31, 2023Updated 2 years ago
- Task datatype, meant for cross-language interop (Java, Kotlin, Scala)☆16Updated this week
- Kuzminki is feature-rich query builder and access library for PostgreSQL written in Scala.☆16Mar 1, 2026Updated 2 months ago
- just place for some random notes about programming☆18Feb 16, 2026Updated 2 months ago
- Что-то. Надо много сделать☆10Mar 21, 2020Updated 6 years ago
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- http4s middleware for HTTP SPNEGO Authentication☆12Feb 27, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- C++ utilities for lexing and parsing of script languages and configuration files.☆12Dec 23, 2017Updated 8 years ago
- Implementation in Java of the paper "Optimal Bounds for Open Addressing Without Reordering"☆17Feb 14, 2025Updated last year
- 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
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago
- A library of tools for compiler construction.☆13May 18, 2016Updated 9 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆71Updated this week
- Parsing Expression Grammar (PEG) bytecode parser/compiler library☆15Jul 3, 2022Updated 3 years ago
- Interactive canvas widget with shapes for OpenCV 3.X☆10Jun 24, 2018Updated 7 years ago
- Puzzle game☆14Jan 28, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mahogany cross-platform email client☆12May 2, 2026Updated last week
- An experimental lexer and parser generator☆10Jul 31, 2018Updated 7 years ago
- Object Pascal Compiler/Transpiler☆11Jul 15, 2015Updated 10 years ago
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Nov 16, 2021Updated 4 years ago
- automate your document generation process☆11Apr 10, 2026Updated 3 weeks ago
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 5 years ago
- Конспекты КТ ИТМО 36 y2020☆30Jan 23, 2022Updated 4 years ago