2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
☆19Mar 8, 2016Updated 10 years ago
Alternatives and similar repositories for fem2016
Users that are interested in fem2016 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 9 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- Chemical Engineering at UP LaTeX templates☆10Sep 12, 2021Updated 4 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- ☆10Oct 15, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Question-Directed Graph Attention Network for Numerical Reasoning over Text☆10Aug 14, 2020Updated 5 years ago
- A structured parsing technique for NER☆15May 26, 2023Updated 3 years ago
- ☆12Mar 22, 2024Updated 2 years ago
- ☆19Dec 6, 2024Updated last year
- ☆17Jul 4, 2025Updated last year
- ☆17Oct 4, 2020Updated 5 years ago
- Python bindings and API for the flagser C++ library (https://github.com/luetge/flagser).☆17May 30, 2024Updated 2 years ago
- ☆16Oct 28, 2021Updated 4 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A GSS plugin for Garden☆11Sep 10, 2014Updated 11 years ago
- A curated collection of projects, benchmarks, and research papers focused on reproducing and advancing the DeepSeek R1 framework.☆15Mar 19, 2025Updated last year
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- Global optimization test set☆15Sep 29, 2025Updated 9 months ago
- Resolve a nested selector in a PostCSS AST☆13Mar 1, 2026Updated 4 months ago
- 逻辑思维测试题☆15May 19, 2026Updated 2 months ago
- A catalog of interesting clojure.spec repos and gists☆10Apr 4, 2017Updated 9 years ago
- Everything about AI4Geometry (AI for geometry problem solving / geometry theorem proving).☆19Dec 19, 2025Updated 7 months ago
- Code for COLING 2022 long paper: Answering Numerical Reasoning Questions in Table-Text Hybrid Contents with Graph-based Encoder and Tree-…☆22Dec 15, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A parallel particle-in-cell library in Fortran.☆27Jan 5, 2024Updated 2 years ago
- Converts 3D OBJ files to vector and texture coordinates to plot in OpenGL with glDrawArrays. Written in Python.☆16May 18, 2026Updated 2 months ago
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- PostCSS plugin to discard rules, atrules or declarations by selector, RegExp or callback function☆12Jan 24, 2026Updated 5 months ago
- Extensible conversion of Clojure code to Hiccup forms.☆14Jul 15, 2024Updated 2 years ago
- LaTeX source for my free math notes☆15Oct 18, 2020Updated 5 years ago
- PARAVT: Parallel Voronoi Tessellation☆21Jun 7, 2016Updated 10 years ago
- RGB / RGBA parsing / formatting☆20Oct 10, 2013Updated 12 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.
- A mirror of the Open Risk white paper collection☆10Nov 11, 2025Updated 8 months ago
- Clojure(Script) library for dealing with units and conversions☆12Feb 19, 2020Updated 6 years ago
- Cross browser navigator.getUserMedia with a node api☆15Nov 22, 2016Updated 9 years ago
- Visualizations of character embeddings from derived character vectors.☆13Apr 4, 2017Updated 9 years ago
- three.js playground in ClojureScript☆46Jan 30, 2019Updated 7 years ago
- Code for Findings of ACL 2021 paper: Logic-Consistency Text Generation from Semantic Parses☆26Aug 3, 2021Updated 4 years ago
- Devour computational knowledge on the commandline with wolframalpha☆15Aug 8, 2012Updated 13 years ago