☆15Apr 8, 2017Updated 9 years ago
Alternatives and similar repositories for loop
Users that are interested in loop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Aug 27, 2019Updated 6 years ago
- 競プロ用ライブラリ☆15Jun 11, 2022Updated 3 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- Formal semantics of Rust☆24Apr 9, 2021Updated 5 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 2 years ago
- Backport new syntax to older compilers☆14Dec 9, 2019Updated 6 years ago
- An Erlang source code tokenizer written in Rust.☆11Jan 13, 2026Updated 2 months ago
- 東北大学 住井研究室のステキな TeX ファイルたち☆36Feb 18, 2021Updated 5 years ago
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- A Hobby implementation of ML☆16Dec 19, 2015Updated 10 years ago
- ☆18Nov 15, 2019Updated 6 years ago
- OCaml LLVM bindings tutorial☆22Apr 16, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- Code using GADT☆39Apr 5, 2021Updated 5 years ago
- A SIMD intrinsics library for the Raspberry Pi's Broadcom VideoCore IV GPU☆13May 9, 2016Updated 9 years ago
- An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.☆20Sep 27, 2020Updated 5 years ago
- Canopy blog data that powers ICFP liveblog☆16Nov 2, 2016Updated 9 years ago
- Yuyushiki Annotation tool☆14Oct 15, 2014Updated 11 years ago
- [WIP] Yet another Erlang implementation in Rust☆33Feb 18, 2019Updated 7 years ago
- ☆13Mar 12, 2025Updated last year
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- The C3, SMT/SAT solver written in C.☆35Aug 10, 2025Updated 7 months ago
- ☆54Aug 5, 2013Updated 12 years ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- Logging module for OCaml☆11Aug 1, 2021Updated 4 years ago
- Publish & Subscribe☆13Dec 15, 2020Updated 5 years ago
- ☆11May 8, 2022Updated 3 years ago
- ☆30Sep 11, 2023Updated 2 years ago
- Highly configurable CLI app for OpenAI's chat/text completion API☆11Nov 8, 2024Updated last year
- A self hosted whitespace compiler☆32Apr 2, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- This cross-platform App shows the last commit timestamp in order to keep your github active.☆15Oct 9, 2018Updated 7 years ago
- mruby by mruby☆32Updated this week
- Stream processing with a series of tubes.☆14Sep 1, 2016Updated 9 years ago
- Docker images for SATySFi and Satyrographos☆26Mar 5, 2026Updated last month
- OCaml の日本語での情報☆95Oct 3, 2018Updated 7 years ago
- Statically typed system programming language for 文鳥☆94Feb 22, 2021Updated 5 years ago