Phylogenetic Application written in OCaml and C
☆19Jan 29, 2020Updated 6 years ago
Alternatives and similar repositories for poy5
Users that are interested in poy5 are comparing it to the libraries listed below
Sorting:
- ☆53Jan 5, 2026Updated last month
- Paper: The simple essence of automatic differentiation☆23Nov 9, 2018Updated 7 years ago
- Decentralized Software Organisms☆18May 16, 2022Updated 3 years ago
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 3 years ago
- A simple implementation of linear type theory☆39Apr 21, 2017Updated 8 years ago
- Collect and disseminate information on fee-based Open Access publishing in Sweden☆11Dec 15, 2025Updated 2 months ago
- Muestrario de estructuras de datos☆14Mar 12, 2020Updated 5 years ago
- Neural Network approaches for the Traveling Salesman Problem☆10Apr 20, 2021Updated 4 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Jan 30, 2022Updated 4 years ago
- A Racket GUI Widget to display maps based on OpenStreetMap tiles☆41Updated this week
- OCaml with typed algebraic effects☆53Oct 12, 2018Updated 7 years ago
- An ontology database for crops' traits with their variables☆21Apr 9, 2025Updated 10 months ago
- OptiVerse is a comprehensive open-source Python library dedicated to exploring the vast universe of optimization techniques to solve real…☆12Feb 15, 2025Updated last year
- A drop-in replacement for `dapp` and `seth` in Rust☆10Updated this week
- GPU-accelerated first-order low-rank SDP solver☆13Mar 17, 2025Updated 11 months ago
- ☆13Mar 17, 2021Updated 4 years ago
- Website and slides for intro to bioinformatics class at Fred Hutch☆13Jun 4, 2018Updated 7 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- This is a physics course slides created with Eagle.js.☆12Feb 17, 2026Updated last week
- ☆10Jan 28, 2013Updated 13 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Jun 14, 2022Updated 3 years ago
- Erlang to Scheme compiler☆39Mar 28, 2012Updated 13 years ago
- source code for the bondi programming language☆45Feb 17, 2019Updated 7 years ago
- Tools for working with your own knowledge base☆12Sep 7, 2023Updated 2 years ago
- ARCHIVED Directory of Open Access Journals Client☆11May 10, 2022Updated 3 years ago
- Javascript module resolution and bundling for the Mill build tool☆12Feb 17, 2026Updated last week
- ☆12May 22, 2016Updated 9 years ago
- Environment modules for the ILRI, Nairobi HPC cluster☆11Feb 9, 2026Updated 3 weeks ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- A low-resource native app for sharing space with co-workers and friends.☆15Feb 20, 2025Updated last year
- Wiki For Camlunity☆13Feb 12, 2015Updated 11 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Google Calendar API v3. Haskell implementation☆12Sep 27, 2014Updated 11 years ago
- Cuenca - Python client library☆12Feb 6, 2026Updated 3 weeks ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- ☆12Feb 17, 2023Updated 3 years ago
- Mojolicious::HTMX - </> htmx plugin for Mojolicious☆11Aug 26, 2024Updated last year