☆41Feb 24, 2025Updated last year
Alternatives and similar repositories for dvdtyp
Users that are interested in dvdtyp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 11 months ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 9 years ago
- ☆47Aug 31, 2023Updated 2 years ago
- 💾 An R package for preliminary urban hydrological design☆13Jul 3, 2025Updated 11 months ago
- ☆31Sep 8, 2023Updated 2 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.
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 6 months ago
- A curated list of Plonky3 resources, libraries, tools and more.☆45Dec 1, 2025Updated 6 months ago
- Accompanying materials for "A Core Calculus for Documents"☆37Oct 5, 2023Updated 2 years ago
- Partitioning eddy covariance ET using optimal approaches☆10May 11, 2019Updated 7 years ago
- ☆46Oct 9, 2023Updated 2 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆39Jun 5, 2026Updated last week
- Library for parsing, generating, and analyzing LLZK code.☆41Updated this week
- Julia library for decoding time units conforming to the Climate and Forecasting (CF) netCDF conventions.☆10Updated this week
- GDAL 3 stack for sf and rgdal☆11Mar 14, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A clean and minimal template for your CV or résumé.☆12Apr 2, 2025Updated last year
- Read and render DVI files in R☆11Oct 31, 2024Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆49May 27, 2026Updated 2 weeks ago
- Connecting bv_decide to SMTLIB.☆14Updated this week
- ☆11Aug 4, 2021Updated 4 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- ☆11Jul 18, 2018Updated 7 years ago
- An R package for easy parallel computing, logging, and function call automation.☆13Nov 21, 2025Updated 6 months ago
- 12306 captcha recognition (forward only)☆28Feb 20, 2019Updated 7 years ago
- 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.
- ☆11Jan 25, 2022Updated 4 years ago
- An MkDocs plugin allowing for categorization of wiki pages☆16Apr 9, 2026Updated 2 months ago
- Disciplined Convex Programming in R using Convex.jl.☆14Dec 18, 2018Updated 7 years ago
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- Ecosystem-scale transpiration stress formulation using deep learning☆12Aug 6, 2023Updated 2 years ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated 2 years ago
- Stand alone C++ module to simulate Farquhar Ball-Berry model of photosynthesis and transpiration☆12Sep 28, 2018Updated 7 years ago
- ☆10Oct 21, 2025Updated 7 months ago
- Implement MDCEV model in R using Stan☆13May 12, 2026Updated last month
- 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.
- ISMN quality control procedures☆13Jan 27, 2025Updated last year
- Julia implementation of the LSDD change point detection method.☆10Jan 15, 2024Updated 2 years ago
- Solidity smart contract for atomic swaps.☆10Oct 31, 2022Updated 3 years ago
- We make it rain like crazy.☆11Nov 24, 2025Updated 6 months ago
- Contains three partitioning methods used to partition water vapor and carbon dioxide fluxes☆10Nov 20, 2024Updated last year
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- A package to add progress bars to purrr functions☆14Sep 30, 2019Updated 6 years ago