☆18Feb 25, 2025Updated last year
Alternatives and similar repositories for makrell-py
Users that are interested in makrell-py 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 formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- A versatile token stream for handwritten parsers.☆13Aug 3, 2023Updated 2 years ago
- Functional Iterator for python☆11May 17, 2021Updated 4 years ago
- Vector builder☆16Jan 13, 2026Updated 2 months 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.
- A simple programming language packed with features that compiles straight to JavaScript for perfect in-browser portability.☆15Jun 23, 2022Updated 3 years ago
- Pure Pony Postgres client☆18Mar 16, 2026Updated last week
- A thin entity layer around Sled using Bincode for serialization☆12Mar 14, 2023Updated 3 years ago
- Pharo bindings to the Unicorn machine code simulation library☆15Mar 18, 2025Updated last year
- A small, flexible neural and data search engine, written in Julia. Batteries not included.☆14Aug 24, 2020Updated 5 years ago
- A proof of concept / prototype alternative String implementation for Pharo using a variable length UTF8 encoded internal representation☆12May 7, 2022Updated 3 years ago
- Advanced macro expander and language lab for Python.☆71Mar 16, 2026Updated last week
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 5 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A lisp wrapper for Cozodb☆14Jul 27, 2023Updated 2 years ago
- An implementation of the Tsetlin Machine in Rust☆16Apr 15, 2018Updated 7 years ago
- Abstractions for asynchronous programming in Pharo☆12Dec 18, 2025Updated 3 months ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- Visualisation of memory for Pharo images at the Virtual Machine level☆14Sep 26, 2023Updated 2 years ago
- Human-friendly compiler infrastructure library for WebAssembly☆25Jan 8, 2024Updated 2 years ago
- minification/compression for Clojure☆16Nov 8, 2019Updated 6 years ago
- Tune Solr-rankings with Clojure code.☆13Dec 22, 2020Updated 5 years ago
- Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain☆21Jul 14, 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.
- Forth Literate Programming with IPython notebook☆21Sep 28, 2013Updated 12 years ago
- 🕺 Writing Python without any statements*☆21Feb 3, 2020Updated 6 years ago
- FFI bindings generation for Deno☆28Dec 22, 2025Updated 3 months ago
- Scheme implementation (now maybe working properly)☆19Dec 3, 2023Updated 2 years ago
- A tree-sitter FFI binding for Pharo☆18Mar 16, 2026Updated last week
- Using Rust from love2d code☆23Jul 16, 2025Updated 8 months ago
- A web framework for writing react components in common lisp using jscl☆20May 13, 2020Updated 5 years ago
- Clojure bindings for CozoDb☆26Sep 16, 2023Updated 2 years ago
- A command-line interface to start, list, and explain the applications available within the image☆17Jul 11, 2025Updated 8 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.
- Inverted file system for billion-scale ANN search☆19Dec 7, 2023Updated 2 years ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Jan 17, 2026Updated 2 months ago
- The Smalltalk web application framework with productivity as a feature.☆18Mar 3, 2024Updated 2 years ago
- ☆25Nov 7, 2022Updated 3 years ago
- A tool to import C/C++ libraries into Pharo☆21Jan 30, 2026Updated last month
- RDB on top of RocksDB in Rust☆21Apr 22, 2021Updated 4 years ago
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 3 years ago