☆19Oct 7, 2026Updated this week
Alternatives and similar repositories for asjp
Users that are interested in asjp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Random Access Zipper in OCaml☆14Dec 8, 2016Updated 9 years ago
- Using Arrows to model parallel processes/computations.☆18Aug 1, 2020Updated 6 years ago
- Generate regex-constrained strings for QuickCheck☆15May 20, 2014Updated 12 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated 7 months ago
- QuickCheck extras.☆29Jun 23, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Client-server AI match maker used for the French national programming contest Prologin☆17Aug 14, 2026Updated last month
- Homestead Grasshopper is a script that automatically adds sites in the Laravel Homestead (Vagrant) environment and “hosts” file. More pre…☆11Nov 30, 2017Updated 8 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 3 years ago
- Radiocarbon calibration command line tool and Haskell module☆11Oct 1, 2026Updated last week
- Mutation analysis tool for Coq verification projects☆31Oct 13, 2020Updated 5 years ago
- Shows how to encrypt data held in public space☆11Aug 11, 2017Updated 9 years ago
- Easily create authenticated data structures☆42Apr 11, 2023Updated 3 years ago
- ☆13Nov 1, 2021Updated 4 years ago
- Anonymous function creation in R and purrr☆14Jan 11, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GitHub action to install Elm tools and cache ELM_HOME☆13Jul 14, 2026Updated 2 months ago
- An open-source carbon box model implementation built on JAX.☆11Apr 2, 2024Updated 2 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆47Oct 18, 2022Updated 3 years ago
- CLI string generator based on regex-like operations☆41Apr 14, 2020Updated 6 years ago
- paleofire package☆14Dec 14, 2021Updated 4 years ago
- 🌲 Turn GitHub repositories into ASCII trees.☆15Jan 8, 2024Updated 2 years ago
- Shiny App with R Package Recommendation System☆11Sep 2, 2018Updated 8 years ago
- PHP Phiber framework - Build light-weight lightning-fast PhP applications with Phiber☆18Feb 22, 2016Updated 10 years ago
- Parse scientific names using gnparser (https://github.com/gnames/gnparser)☆15Updated this week
- 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.
- Dynamic Neural Network☆11Feb 28, 2025Updated last year
- texrex web page cleaning & ClaraX random walk crawler☆11Dec 13, 2021Updated 4 years ago
- ☆12Jul 7, 2022Updated 4 years ago
- Prime number testing and generation in R☆10Jan 16, 2024Updated 2 years ago
- Create datasets with identical summary statistics☆11Jan 2, 2026Updated 9 months ago
- ORSH - is an Oranios simple shell written in order to understand how shells work .☆12Jun 12, 2024Updated 2 years ago
- A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.☆16Jan 12, 2018Updated 8 years ago
- ☆10Dec 8, 2021Updated 4 years ago
- An all purpose random library written in V.☆17Aug 14, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Configuration of buildbot☆15Apr 7, 2025Updated last year
- Client to browse and edit PeriodO data☆17Updated this week
- Pretty printing multidimensional D arrays.☆18May 1, 2022Updated 4 years ago
- A reasonably performing MD5 implementation in pure Haskell☆11Sep 28, 2026Updated last week
- Colab Notebook for SeamlessM4T model by Meta☆10Aug 23, 2023Updated 3 years ago
- This repository contains modules to extend reordering rules (available on warehouses locations) functionalities.☆18Updated this week
- Code repository of the book by Oliver Nakoinz and Daniel Knitter "Modelling Human Behaviour in Landscapes -- Basic concepts and modelling…☆11Jun 13, 2017Updated 9 years ago