leostera/rules_reason 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

leostera/rules_reason

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/leostera/rules_reason)

Close

leostera / rules_reasonView on GitHubMore

• External links
• Readme badge

📐Reason/OCaml rules and tools for Bazel

☆19Sep 26, 2018Updated 7 years ago

Alternatives and similar repositories for rules_reason

Users that are interested in rules_reason are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• rhysforyou / bs-enzyme

  View on GitHub
  Bucklescript bindings for Enzyme
  ☆36Jul 7, 2021Updated 4 years ago
• lessp / revery-graphql-hooks

  View on GitHub
  A library for easy handling of GraphQL with hooks for Revery
  ☆31Aug 19, 2020Updated 5 years ago
• AbstractMachinesLab / mix_caramel

  View on GitHub
  A Mix plugin to use Caramel
  ☆15Oct 24, 2021Updated 4 years ago
• kolmodin / herl

  View on GitHub
  Erlang BEAM emulator in Haskell
  ☆48Jun 14, 2014Updated 11 years ago
• kristianmandrup / bs-xstate

  View on GitHub
  Bucklescript bindings for XState state machine
  ☆14Jan 13, 2019Updated 7 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• dividat / ocaml-semver

  View on GitHub
  Semantic version handling for OCaml
  ☆17Apr 15, 2021Updated 5 years ago
• Sketch-sh / engine

  View on GitHub
  Sketch's evaluating engine compiled to Javascript with js_of_ocaml
  ☆38Oct 5, 2025Updated 7 months ago
• dprogm / vscode-bazel-tools

  View on GitHub
  Bazel integration for Visual Studio Code
  ☆21Apr 26, 2019Updated 7 years ago
• tominated / system_f_omega

  View on GitHub
  My Attempt at System Fω with Row-Polymorphism
  ☆31Jul 4, 2021Updated 4 years ago
• yugui / rules_ruby

  View on GitHub
  Ruby rules for Bazel
  ☆23Nov 30, 2019Updated 6 years ago
• quittle / rules_web

  View on GitHub
  Bazel website build tools
  ☆24Oct 3, 2023Updated 2 years ago
• lessp / bs-react-is-visible

  View on GitHub
  A small library that lets you know whether a component is visible on screen or not.
  ☆15Jan 3, 2023Updated 3 years ago
• jaredly / redoc

  View on GitHub
  A clean & easy documentation generator for reason/bucklescript/ocaml
  ☆114Jan 20, 2019Updated 7 years ago
• yesodweb / css-text

  View on GitHub
  CSS parser and renderer.
  ☆16Aug 19, 2020Updated 5 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• moon-chilled / fancy-memset

  View on GitHub
  small, fast memset based on microsoft's design
  ☆13Apr 5, 2022Updated 4 years ago
• salesforce / bazel-maven-proxy

  View on GitHub
  A local (read-only) proxy for Bazel to access Maven resources behind a secure repository or from the local Maven repository
  ☆24Apr 18, 2023Updated 3 years ago
• nblumoe / mundane-clojure-for-mortals

  View on GitHub
  A tutorial to build a simple web API with Clojure.
  ☆10May 24, 2015Updated 10 years ago
• hqwrong / ltable

  View on GitHub
  C hash lib inspired by LUA's table
  ☆10Sep 8, 2016Updated 9 years ago
• benaubin / simple_wal

  View on GitHub
  Write-ahead-logging implementation for Rust
  ☆16Oct 24, 2021Updated 4 years ago
• JordanMartinez / purescript-veither

  View on GitHub
  A Variant that functions like Either but is extensible
  ☆19Sep 11, 2021Updated 4 years ago
• grain-lang / binaryen.ml

  View on GitHub
  OCaml bindings for Binaryen.
  ☆52Apr 8, 2026Updated last month
• simuons / rules_clojure

  View on GitHub
  Clojure rules for Bazel
  ☆37Jul 8, 2021Updated 4 years ago
• alpinelinux / alpine-iso

  View on GitHub
  Alpine ISO image generation scripts (mirror)
  ☆17Dec 17, 2018Updated 7 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• Risto-Stevcev / bs-effects

  View on GitHub
  Bucklescript data structures for effectful sync and async programming
  ☆35Feb 10, 2020Updated 6 years ago
• clojure-tw / telegram-bot-clojuretwbot

  View on GitHub
  A special telegram bot designed for clojure-tw group.
  ☆20Oct 15, 2017Updated 8 years ago
• scalameta / svm-subs

  View on GitHub
  GraalVM native-image substitutions for Scala
  ☆25May 1, 2022Updated 4 years ago
• ragnard / shen-truffle

  View on GitHub
  Port of the Shen programming language to the Graal runtime
  ☆26Aug 16, 2017Updated 8 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• anmonteiro / gh-feed-reader

  View on GitHub
  ☆27Jul 18, 2023Updated 2 years ago
• leostera / lam

  View on GitHub
  a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
  ☆265Mar 7, 2021Updated 5 years ago
• rrdelaney / reason-dre

  View on GitHub
  Declarative Bindings for ReasonML
  ☆41Aug 13, 2018Updated 7 years ago
• mfp / ocaml-leveldb

  View on GitHub
  OCaml bindings for Google's LevelDB
  ☆44Dec 14, 2021Updated 4 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• justinethier / cyclone-bootstrap

  View on GitHub
  Install Cyclone Scheme on your machine.
  ☆37Mar 13, 2026Updated 2 months ago
• sborrazas / shen-erl

  View on GitHub
  Erlang port of the Shen programming language
  ☆27Mar 14, 2026Updated 2 months ago
• reuniverse / reuniverse

  View on GitHub
  ☆36Feb 1, 2020Updated 6 years ago
• rescript-lang / rescript-editor-support

  View on GitHub
  Command line to support editor integration for Rescript.
  ☆31Apr 24, 2021Updated 5 years ago
• bazelbuild / bazel-integration-testing

  View on GitHub
  Framework for integration tests that call Bazel
  ☆34May 17, 2022Updated 4 years ago
• idris-hackers / idris-lens

  View on GitHub
  ☆23Sep 30, 2016Updated 9 years ago
• Fuyukai / pg-purepy

  View on GitHub
  Pure-python structurally concurrent PostgreSQL driver
  ☆21Apr 27, 2026Updated 3 weeks ago