nomaddo/loop external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

nomaddo/loop

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/nomaddo/loop)

Close

nomaddo / loopView on GitHubMore

• External links
• Readme badge

☆15Apr 8, 2017Updated 8 years ago

Alternatives and similar repositories for loop

Users that are interested in loop are comparing it to the libraries listed below

• fetburner / compelib

  View on GitHub
  競プロ用ライブラリ
  ☆15Jun 11, 2022Updated 3 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• gfngfn / game_tianjiupai

  View on GitHub
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Oct 8, 2023Updated 2 years ago
• shinchoku-tairiku / shinchoku-tairiku.satyh

  View on GitHub
  進捗大陸で使用されたSATySFiファイル
  ☆12May 22, 2023Updated 2 years ago
• sile / erl_tokenize

  View on GitHub
  An Erlang source code tokenizer written in Rust.
  ☆11Jan 13, 2026Updated 2 months ago
• fetburner / coq-dijkstra

  View on GitHub
  A Verified Implementation of Dijkstra's Algorithm
  ☆18Mar 2, 2021Updated 5 years ago
• brick-lang / kekka

  View on GitHub
  An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
  ☆15Dec 19, 2020Updated 5 years ago
• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• fsugjp / fsugjp

  View on GitHub
  ☆18Nov 15, 2019Updated 6 years ago
• runtimeverification / k-editor-support

  View on GitHub
  Plugin files for editing K files
  ☆12Aug 20, 2024Updated last year
• objmagic / jaw

  View on GitHub
  Code using GADT
  ☆39Apr 5, 2021Updated 4 years ago
• ToruNiina / separo-rs

  View on GitHub
  An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.
  ☆20Sep 27, 2020Updated 5 years ago
• ocamllabs / icfp2016-blog

  View on GitHub
  Canopy blog data that powers ICFP liveblog
  ☆16Nov 2, 2016Updated 9 years ago
• non117 / yuyushiki

  View on GitHub
  Yuyushiki Annotation tool
  ☆14Oct 15, 2014Updated 11 years ago
• szktty / starlight

  View on GitHub
  [WIP] Yet another Erlang implementation in Rust
  ☆33Feb 18, 2019Updated 7 years ago
• bibliotheca-app / bibliotheca-pwa

  View on GitHub
  ☆13Mar 12, 2025Updated last year
• phadej / cabal-sat

  View on GitHub
  Using cabal-install as SAT solver
  ☆13Aug 29, 2023Updated 2 years ago
• RKX1209 / c3

  View on GitHub
  The C3, SMT/SAT solver written in C.
  ☆35Aug 10, 2025Updated 7 months ago
• tcarstens / verlang

  View on GitHub
  ☆54Aug 5, 2013Updated 12 years ago
• stephenpascoe / hs-arrow

  View on GitHub
  Haskell bindings to Apache Arrow
  ☆12Aug 21, 2018Updated 7 years ago
• sapristi / easy_logging

  View on GitHub
  Logging module for OCaml
  ☆11Aug 1, 2021Updated 4 years ago
• fumieval / liszt

  View on GitHub
  Publish & Subscribe
  ☆13Dec 15, 2020Updated 5 years ago
• shirakia / CodinGameChallengeReports

  View on GitHub
  ☆11May 8, 2022Updated 3 years ago
• yohasebe / monadic-chat-cli

  View on GitHub
  Highly configurable CLI app for OpenAI's chat/text completion API
  ☆11Nov 8, 2024Updated last year
• KeenS / whitelie

  View on GitHub
  A self hosted whitespace compiler
  ☆32Apr 2, 2020Updated 5 years ago
• susisu / est-ocaml

  View on GitHub
  A simple command line tool for statistical calculation
  ☆10May 12, 2018Updated 7 years ago
• wraith13 / keep.grass

  View on GitHub
  This cross-platform App shows the last commit timestamp in order to keep your github active.
  ☆15Oct 9, 2018Updated 7 years ago
• miura1729 / mruby-meta-circular

  View on GitHub
  mruby by mruby
  ☆32Updated this week
• gatlin / tubes

  View on GitHub
  Stream processing with a series of tubes.
  ☆14Sep 1, 2016Updated 9 years ago
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Mar 5, 2026Updated 2 weeks ago
• camlspotter / ocaml-zippy-tutorial-in-japanese

  View on GitHub
  OCaml の日本語での情報
  ☆95Oct 3, 2018Updated 7 years ago
• yutopp / rill

  View on GitHub
  Statically typed system programming language for 文鳥
  ☆94Feb 22, 2021Updated 5 years ago
• dskjal / Blender-AnimeHairSupporter

  View on GitHub
  Blender用のアニメ髪作成支援アドオン
  ☆25Jul 24, 2024Updated last year
• EvaGL / llvm-gc

  View on GitHub
  Implementation of LLVM compiler plugin for garbage collection
  ☆21Dec 24, 2014Updated 11 years ago
• fumieval / rhythm-game-tutorial

  View on GitHub
  Create a rhythm game with Haskell!
  ☆14Mar 23, 2015Updated 10 years ago
• chris-armstrong / smaws

  View on GitHub
  OCaml bindings for AWS APIs, built on eio
  ☆18Oct 12, 2025Updated 5 months ago
• vvvy / rust-hdfs-native

  View on GitHub
  Native HDFS client for Rust
  ☆13Nov 11, 2018Updated 7 years ago
• kowainik / first-class-patterns

  View on GitHub
  First class patterns and pattern matching, using type families
  ☆18Nov 6, 2020Updated 5 years ago
• stripedpajamas / ocaml-ulid

  View on GitHub
  an ocaml package to generate ULIDs
  ☆19Jan 2, 2019Updated 7 years ago