DSOLVE
☆10Apr 11, 2014Updated 12 years ago
Alternatives and similar repositories for dsolve
Users that are interested in dsolve are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Logically Qualified Data Types - automatically infer refinement types☆17Aug 24, 2021Updated 5 years ago
- Javascript package that helps to build wasm code by hand.☆15May 3, 2024Updated 2 years ago
- a wonderfully quick, compact, and extensible webassembly runtime for go☆19Updated this week
- Collaborative List of Open-Source iOS Apps☆14Mar 28, 2024Updated 2 years ago
- An attempt at a game in Haskell in the form of a short demo. It uses an ECS library called Apecs along with a wrapper for SDL2.☆15Sep 11, 2025Updated last year
- 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.
- Core runtime of Erlscripten - ERTS emulation☆16Sep 14, 2022Updated 4 years ago
- Build 3D models using Javascript☆13Jan 17, 2025Updated last year
- A multiplayer game about killing processes on your computer! #warsztatywww☆12Aug 27, 2016Updated 10 years ago
- ☆11Feb 27, 2026Updated 7 months ago
- This project aims to visualize test cases written in Erlang in a graphical finite state machine representation. The aim is to visually ev…☆17Sep 12, 2016Updated 10 years ago
- Grain bindings to Lunatic, the Erlang-inspired runtime for WebAssembly!☆20Apr 19, 2024Updated 2 years ago
- ☆28Sep 14, 2015Updated 11 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 2018Updated 8 years ago
- Demoscene: Lambda Team☆20Jun 18, 2019Updated 7 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.
- Complexity Analysis Tool for Integer Programs☆15Jan 30, 2026Updated 8 months ago
- ☆13Jul 6, 2022Updated 4 years ago
- Stand alone compiler for the Sophia smart contract language☆54Mar 30, 2026Updated 6 months ago
- Emerald is an object oriented language that uses prototypal based inheritance.☆24Jan 20, 2022Updated 4 years ago
- This is a forked version of OCaml, aimed to be compiled to WASM.☆12Aug 23, 2021Updated 5 years ago
- A programming language based on bindings.☆12Jul 6, 2025Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated 2 years ago
- Finds optimal code sequences for stack transformations☆26Feb 21, 2019Updated 7 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 plugin for Ultimaker Cura that adds the 3D Systems Cube, CubePro, and CubeX printers to Cura and enables Cura to export to the propriet…☆15Jan 4, 2026Updated 9 months ago
- The well-known pager, with performance improvements for huge files☆13Sep 23, 2014Updated 12 years ago
- Implementation of Nonparametric Hamiltonian Monte Carlo☆13Feb 13, 2023Updated 3 years ago
- Run your tty programs pseudo-headlessly under a process supervisor☆13Apr 29, 2018Updated 8 years ago
- Fast time calls from user space.☆12Dec 22, 2015Updated 10 years ago
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆15Jul 21, 2020Updated 6 years ago
- Golang SDK to interact with the Æternity blockchain☆18Dec 11, 2024Updated last year
- Arbitrary length integers for PureScript☆27Oct 11, 2026Updated 2 weeks ago
- A splay tree implementation.☆13Jul 10, 2026Updated 3 months 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.
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated last year
- Erlang foreign function interface.☆25Feb 7, 2025Updated last year
- An implementation of TC39 temporal for AssemblyScript☆27Jan 26, 2022Updated 4 years ago
- 🌾 A hand-grown list of awesome Grain projects and resources!☆31Sep 2, 2026Updated last month
- Notes from implementing precise GC in Rust, summer 2012☆17Sep 26, 2012Updated 14 years ago
- Codo notation for programming with comonads in Haskell☆26Jan 24, 2021Updated 5 years ago
- Ocaml cross-compiler for Windows: packages description for OPAM☆10Jul 27, 2017Updated 9 years ago