☆19Jul 10, 2026Updated last month
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:
- LaTex template for ITMO style presentations☆12Jan 19, 2025Updated last year
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Hückel model + JAX☆14Oct 13, 2022Updated 3 years ago
- Source code & exercises in Arend's documentation☆22Jul 24, 2026Updated 2 weeks ago
- A simulation platform for epidemics based on mortality rate, infection length, and R0 or infection probability☆21Jan 31, 2020Updated 6 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.
- Mathematical notes and papers☆28Jun 15, 2026Updated last month
- Sample and predict coarse grain 3D RNA structures☆10Feb 12, 2024Updated 2 years ago
- many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets☆13Jun 17, 2026Updated last month
- types for various combinatory systems, especialy tree calculi☆28Jan 23, 2025Updated last year
- ☆16Sep 20, 2024Updated last year
- This repo contains the codes to run solvation free energy prediction.☆13May 1, 2022Updated 4 years ago
- Research repository for the proposed equivariant graph attention network that operates on large biomolecules proposed by Le et al. (2022)☆20Dec 1, 2022Updated 3 years ago
- Turing machine visualizer☆23Feb 28, 2020Updated 6 years ago
- ☆18Mar 14, 2024Updated 2 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.
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Jan 17, 2022Updated 4 years ago
- Pairwise interaction segment activity coefficients, reference implementation in Python☆19Apr 27, 2024Updated 2 years ago
- ☆15Dec 26, 2018Updated 7 years ago
- Official implementation of the paper "PolyNet: Polynomial Neural Network for 3D Shape Recognition with PolyShape Representation" (3DV 202…☆22Aug 26, 2022Updated 3 years ago
- Verifying the SCION architecture using Gobra☆12Updated this week
- ☆16Updated this week
- ITMO labs☆30Oct 22, 2023Updated 2 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- ☆13May 7, 2025Updated last year
- 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.
- from https://sourceforge.net/projects/libquickmail/☆12Apr 16, 2020Updated 6 years ago
- ☆15Dec 31, 2023Updated 2 years ago
- Task datatype, meant for cross-language interop (Java, Kotlin, Scala)☆15Aug 3, 2026Updated last week
- Automatic generation of LAMMPS data file for atomistic and coarse-grained simulations of molecular and polymeric materials with various t…☆25Aug 3, 2026Updated last week
- C++ utilities for lexing and parsing of script languages and configuration files.☆12Dec 23, 2017Updated 8 years ago
- Playing with OpenGL.☆11Dec 11, 2013Updated 12 years ago
- Memcarrot: A caching server fully compatible with memcached protocol, offering superior memory utilization (memory overhead is as low as …☆25Apr 28, 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
- A minimalist DB migration manager.☆20Apr 28, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Topos theory in lean☆65Jan 6, 2021Updated 5 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- A library of tools for compiler construction.☆13May 18, 2016Updated 10 years ago
- Конспекты КТ ИТМО 36 y2020☆30Jan 23, 2022Updated 4 years ago
- Interactive canvas widget with shapes for OpenCV 3.X☆10Jun 24, 2018Updated 8 years ago
- Parsing Expression Grammar (PEG) bytecode parser/compiler library☆15Jul 3, 2022Updated 4 years ago
- Mahogany cross-platform email client☆12Jul 9, 2026Updated last month