NiekM / scrybeView external linksLinks
Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.
☆14Apr 4, 2023Updated 2 years ago
Alternatives and similar repositories for scrybe
Users that are interested in scrybe are comparing it to the libraries listed below
Sorting:
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 4 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Apr 20, 2024Updated last year
- A pure Haskell implementation of a decoder-only transformer (GPT)☆20Jun 22, 2024Updated last year
- GPU-based interaction nets evaluator☆16Nov 30, 2011Updated 14 years ago
- A functional, type-safe and memory-safe class to handle secret values☆29Jan 30, 2026Updated 2 weeks ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆84Feb 17, 2017Updated 8 years ago
- N. Papadakis, G. Peyré, E. Oudet. Optimal Transport with Proximal Splitting. SIAM Journal on Imaging Sciences, 7(1), pp. 212–238, 2014.☆11Jan 7, 2017Updated 9 years ago
- Version 1.2☆13Mar 15, 2017Updated 8 years ago
- Fully sync two secure-scuttlebutt databases over a duplex stream.☆15Jun 13, 2018Updated 7 years ago
- ☆12Nov 2, 2024Updated last year
- ☆10May 9, 2024Updated last year
- Defines the versions of the Vert.x components of the Vert.x stack.☆11Feb 6, 2026Updated last week
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- A Free-Software JavaScript Library made by people for the people!☆10Aug 1, 2020Updated 5 years ago
- Mechanized baselines for various type system features☆18Dec 6, 2025Updated 2 months ago
- ☆14Aug 15, 2018Updated 7 years ago
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated 9 months ago
- 获取 Bilibili 大航海列表☆11Apr 25, 2024Updated last year
- A (not yet complete) F# Type Provider for Matlab in the spirit of the R Type Provider☆25Dec 3, 2013Updated 12 years ago
- Middleware for React + Redux + Sentry + Redux-Persist☆10May 3, 2017Updated 8 years ago
- Type-safe general-cryptography library - https://jmcardon.github.io/tsec/☆12Jul 1, 2024Updated last year
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Yet another SSB client! Probably gonna be Patchwork 4.0, but for now is missing a lot of things and under pretty serious development☆17Sep 7, 2018Updated 7 years ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 9 months ago
- A lambda calculus parser, evaluator and repl☆11Oct 30, 2021Updated 4 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- A simple library-less CUDA implementation of the OneSweep sorting algorithm.☆11Feb 26, 2024Updated last year
- Like a programming language, but worse☆13May 23, 2023Updated 2 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 years ago
- Wrapper of the OpenSSL elliptic curve functions for easy Python manipulation☆11Apr 30, 2014Updated 11 years ago
- Convert case classes to form data automatically (e.g., for Stripe API)☆12Dec 13, 2024Updated last year
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- Repurpose object literals.☆14Jun 20, 2019Updated 6 years ago
- Functional and more robust switch statement replacement☆11May 8, 2016Updated 9 years ago
- A scalable implementation of the multifrontal method for symmetric and Hermitian systems (with intrafrontal pivoting)☆19Jun 27, 2016Updated 9 years ago
- 'dgram' for the browser☆12Mar 17, 2013Updated 12 years ago