☆19Jul 10, 2026Updated 3 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:
- This is a primitive Graphic editor written in Qt 5.10☆11Jul 6, 2021Updated 5 years ago
- ICLR 2023: Learning to Extrapolate: A Transductive Approach☆11Aug 15, 2023Updated 3 years ago
- An OpenGL Image Processing Library (in C++/GLSL).☆15Jan 5, 2018Updated 8 years ago
- A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability☆21Jan 31, 2020Updated 6 years ago
- Sample and predict coarse grain 3D RNA structures☆10Feb 12, 2024Updated 2 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.
- many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets☆13Jun 17, 2026Updated 3 months ago
- ☆28Updated this week
- Method for constructing embeddings of GO terms.☆14Nov 25, 2021Updated 4 years ago
- A digital archive of category theory papers.☆36Jun 27, 2026Updated 3 months ago
- Pairwise interaction segment activity coefficients, reference implementation in Python☆19Apr 27, 2024Updated 2 years ago
- UUID V1, V6, V7 & TypeID generation with ZIO☆14Updated this week
- A framework for creating user-friendly widgets and tools in Jupyter☆18Oct 10, 2024Updated 2 years ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated 2 weeks ago
- "The Vim of game engines"☆48Aug 26, 2023Updated 3 years ago
- 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.
- ☆17Oct 1, 2026Updated last week
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 3 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- ☆13May 7, 2025Updated last year
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago
- Linearizability Hoare Logic☆17Sep 16, 2026Updated 3 weeks ago
- Run RAGE Multiplayer in a Docker container.☆14Sep 16, 2023Updated 3 years ago
- Task datatype, meant for cross-language interop (Java, Kotlin, Scala)☆18Updated this week
- Automatic generation of LAMMPS data file for atomistic and coarse-grained simulations of molecular and polymeric materials with various t…☆27Sep 24, 2026Updated 2 weeks 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.
- just place for some random notes about programming☆19Feb 16, 2026Updated 7 months ago
- Что-то. Надо много сделать☆10Mar 21, 2020Updated 6 years ago
- http4s middleware for HTTP SPNEGO Authentication☆12Feb 27, 2021Updated 5 years ago
- C++ utilities for lexing and parsing of script languages and configuration files.☆12Oct 4, 2026Updated last week
- Playing with OpenGL.☆11Dec 11, 2013Updated 12 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
- Topos theory in lean☆66Jan 6, 2021Updated 5 years ago
- A library of tools for compiler construction.☆13May 18, 2016Updated 10 years ago
- Interactive canvas widget with shapes for OpenCV 3.X☆10Jun 24, 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.
- Parsing Expression Grammar (PEG) bytecode parser/compiler library☆15Jul 3, 2022Updated 4 years ago
- Puzzle game☆14Jan 28, 2022Updated 4 years ago
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Nov 16, 2021Updated 4 years ago
- Mahogany cross-platform email client☆12Updated this week
- 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 4 months ago
- An experimental lexer and parser generator☆10Jul 31, 2018Updated 8 years ago