☆19May 20, 2026Updated last week
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
- ☆16Jun 22, 2024Updated last year
- LaTex template for ITMO style presentations☆12Jan 19, 2025Updated last year
- This is a primitive Graphic editor written in Qt 5.10☆11Jul 6, 2021Updated 4 years ago
- Mathematical notes and papers☆27Jan 22, 2026Updated 4 months 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.
- ☆10Jul 2, 2022Updated 3 years ago
- A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability☆21Jan 31, 2020Updated 6 years ago
- A digital archive of category theory papers.☆35Feb 5, 2026Updated 3 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Jan 17, 2022Updated 4 years ago
- C++ command line parser☆45Jul 14, 2024Updated last year
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 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
- 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.
- just place for some random notes about programming☆19Feb 16, 2026Updated 3 months ago
- http4s middleware for HTTP SPNEGO Authentication☆12Feb 27, 2021Updated 5 years ago
- ITMO labs☆29Oct 22, 2023Updated 2 years ago
- C++ utilities for lexing and parsing of script languages and configuration files.☆12Dec 23, 2017Updated 8 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
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆71May 22, 2026Updated last 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
- Mahogany cross-platform email client☆12May 2, 2026Updated 3 weeks 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.
- 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.☆11Updated this week
- 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
- A wxWidgets utility module for VisualScriptEngine☆16Jan 7, 2021Updated 5 years ago
- Copy recursively all email messages and folders from 1 imap account to another☆14May 22, 2026Updated last 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
- SAGA is a free geographic information system (GIS), with a special 'Application Programming Interface' (API) for geographic data processi…☆13Oct 26, 2010Updated 15 years ago
- A small library written in c++ that uses libcurl to be able to send emails with binary attachments.☆10Nov 14, 2023Updated 2 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.
- ☆10Nov 24, 2015Updated 10 years ago
- ☆17Jul 7, 2019Updated 6 years ago
- An eXample Programming Language☆11Dec 20, 2018Updated 7 years ago
- C++ Parsing/searching/validating expression grammar library (PEG) To write Regex-like expressions in the core☆14Dec 2, 2023Updated 2 years ago
- Automatically exported from code.google.com/p/osgqsg☆11Mar 14, 2015Updated 11 years ago
- clone from geda-project☆21Oct 24, 2025Updated 7 months ago
- DAP protocol (Debug Adapter Protocol) for wxWidgets applications☆18Apr 24, 2026Updated last month