Sweet Summer Child Score: A risk assessment quiz for automation and ML
☆17Mar 19, 2025Updated last year
Alternatives and similar repositories for summerchildpy
Users that are interested in summerchildpy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Discussion of the various Australian COVID-19 vaccine certificates☆19Sep 28, 2021Updated 5 years ago
- A cross-platform debugging UI for `parsley-debug`, which runs outside of Scala.☆12Jan 13, 2026Updated 9 months ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆10May 3, 2022Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 6 years ago
- Work-in-progress Unicode paragraph layout library written in Rust☆13Jun 7, 2018Updated 8 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.
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆15Dec 18, 2020Updated 5 years ago
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- Wob extended wtih effect handlers☆14Sep 25, 2023Updated 3 years ago
- A DSL for parsing and assembling binary data.☆14Sep 1, 2026Updated 2 months ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 4 years ago
- The Package Calculus☆13Aug 5, 2026Updated 2 months ago
- ☆12Feb 11, 2019Updated 7 years ago
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 4 years ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- The gluon-lang.org website.☆15Updated this week
- game☆11Jan 25, 2019Updated 7 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- ☆16Feb 18, 2025Updated last year
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Survey on materials that touch on the history of Lambda Calculus☆13Sep 13, 2020Updated 6 years ago
- Stack-based, concatenative language with suggestive pattern-matching☆13Sep 6, 2026Updated last month
- Algebraic graphs for Elm☆12Jul 20, 2019Updated 7 years ago
- Experiments with Mozilla's Rust programming language☆12Jan 10, 2013Updated 13 years ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- Implementations of various SDL tutorials, but in Rust, to better help me understand the language.☆11Feb 22, 2013Updated 13 years ago
- ☆12Mar 15, 2021Updated 5 years ago
- MacBinary and resource fork reading in Rust☆15Mar 24, 2025Updated last year
- Alternative and lite implementation of Hoogle☆11Apr 9, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Numerical snippets & tests☆12Jan 5, 2026Updated 9 months ago
- Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/☆12Jul 8, 2025Updated last year
- Quick interactive time series terminal plots usable in ghci☆15Sep 10, 2019Updated 7 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆15Updated this week
- Datatype-generic object-oriented transformations for OCaml☆17Aug 29, 2026Updated 2 months ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago