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
- Simulate System76 EC with area8051 emulator☆12Mar 2, 2024Updated 2 years ago
- Source code and data for "Split and Rephrase: Better Evaluation and a Stronger Baseline"☆15Feb 15, 2019Updated 7 years ago
- ☆12Mar 22, 2024Updated 2 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.
- ☆19Dec 6, 2024Updated last year
- Rewrite nested Clojure data with a declared shape.☆21Feb 5, 2026Updated 2 months ago
- 2 Dimensional Euler/Naviers-Stokes Equations solver☆18May 2, 2018Updated 7 years ago
- 微信小程序支付、模板消息等实例☆16Sep 15, 2017Updated 8 years ago
- ☆16Oct 28, 2021Updated 4 years ago
- Richard Hammack Web Page☆16Updated this week
- simple and functional concurrency primitives for Clojure☆50Mar 26, 2018Updated 8 years ago
- Global optimization test set☆15Sep 29, 2025Updated 6 months ago
- A curated collection of projects, benchmarks, and research papers focused on reproducing and advancing the DeepSeek R1 framework.☆15Mar 19, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A catalog of interesting clojure.spec repos and gists☆10Apr 4, 2017Updated 9 years 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
- Everything about AI4Gemetry (AI for geometry problem solving / theorem proving).☆18Dec 19, 2025Updated 3 months ago
- Extensible conversion of Clojure code to Hiccup forms.☆14Jul 15, 2024Updated last year
- Clojure(Script) library for dealing with units and conversions☆12Feb 19, 2020Updated 6 years ago
- The repo of "Improving Seq2Seq Grammatical Error Correction via Decoding Interventions"☆32Jan 22, 2024Updated 2 years ago
- Code for Findings of ACL 2021 paper: Logic-Consistency Text Generation from Semantic Parses☆26Aug 3, 2021Updated 4 years ago
- Lightweight image manipulation☆36Mar 15, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A parallel particle-in-cell library in Fortran.☆27Jan 5, 2024Updated 2 years ago
- Low level forth like language for writing canvas applications☆14Jan 11, 2024Updated 2 years ago
- Code for the EMNLP 2020 paper "Re-examining the Role of Schema Linking in Text-to-SQL".☆28Nov 23, 2020Updated 5 years ago
- FTS desktop file search with previews☆21Jul 21, 2024Updated last year
- Executable examples for Elerea.☆18Jun 19, 2016Updated 9 years ago
- Self-assembling HTTP API libraries☆38Aug 31, 2020Updated 5 years ago
- 中文文本句对相似度匹配-ATEC数据集☆23Jun 11, 2020Updated 5 years ago
- A wrapper around 'localStorage/sessionStorage' to provide storage encryption with libsodium☆22Nov 1, 2019Updated 6 years ago
- Low-level, client-side database for Clojurescript applications integrated with the Derive library.☆21Jul 11, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Finance 6470: Derivatives Markets☆10Apr 15, 2021Updated 4 years ago
- A set of tools for working with datafrog☆28Sep 1, 2025Updated 7 months ago
- Reframe event interceptors for validating db and args with spec☆16Jan 17, 2018Updated 8 years ago
- Logging macros for Clojurescript☆16Jul 5, 2016Updated 9 years ago
- LaTeX package for fixing margin notes☆20Nov 27, 2025Updated 4 months ago
- ☆16Mar 21, 2018Updated 8 years ago
- A php library for working with Table Schema.☆12Jul 28, 2025Updated 8 months ago