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.

• lessp / revery-graphql-hooks

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

  View on GitHub
  A Mix plugin to use Caramel
  ☆15Oct 24, 2021Updated 4 years ago
• dprogm / vscode-bazel-tools

  View on GitHub
  Bazel integration for Visual Studio Code
  ☆21Apr 26, 2019Updated 7 years ago
• kristianmandrup / bs-xstate

  View on GitHub
  Bucklescript bindings for XState state machine
  ☆14Jan 13, 2019Updated 7 years ago
• dividat / ocaml-semver

  View on GitHub
  Semantic version handling for OCaml
  ☆18Apr 15, 2021Updated 5 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• Sketch-sh / engine

  View on GitHub
  Sketch's evaluating engine compiled to Javascript with js_of_ocaml
  ☆39Oct 5, 2025Updated 10 months ago
• andyscott / rules_graal

  View on GitHub
  Bazel rules to make JVM binaries into native binaries
  ☆43Dec 19, 2023Updated 2 years ago
• philoskim / reasoned-schemer-for-clojure

  View on GitHub
  The source code translations from The Reasoned Schemer to Clojure core.logic
  ☆14Sep 4, 2018Updated 7 years ago
• quittle / rules_web

  View on GitHub
  Bazel website build tools
  ☆24Oct 3, 2023Updated 2 years ago
• yugui / rules_ruby

  View on GitHub
  Ruby rules for Bazel
  ☆23Nov 30, 2019Updated 6 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
• 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
  ☆24Jun 2, 2026Updated 2 months ago
• tmattio / dream-livereload

  View on GitHub
  Live reloading for Dream applications
  ☆25Apr 9, 2022Updated 4 years ago
• Open source password manager - Proton Pass • Ad
  Securely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
• grain-lang / binaryen.ml

  View on GitHub
  OCaml bindings for Binaryen.
  ☆54Apr 8, 2026Updated 4 months ago
• sborrazas / shen-erl

  View on GitHub
  Erlang port of the Shen programming language
  ☆28Mar 14, 2026Updated 5 months ago
• tominated / system_f_omega

  View on GitHub
  My Attempt at System Fω with Row-Polymorphism
  ☆31Jul 4, 2021Updated 5 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
• ragnard / shen-truffle

  View on GitHub
  Port of the Shen programming language to the Graal runtime
  ☆26Aug 16, 2017Updated 9 years ago
• scalameta / svm-subs

  View on GitHub
  GraalVM native-image substitutions for Scala
  ☆25May 1, 2022Updated 4 years ago
• Risto-Stevcev / bs-effects

  View on GitHub
  Bucklescript data structures for effectful sync and async programming
  ☆35Feb 10, 2020Updated 6 years ago
• alpinelinux / alpine-iso

  View on GitHub
  Alpine ISO image generation scripts (mirror)
  ☆16Dec 17, 2018Updated 7 years ago
• hqwrong / ltable

  View on GitHub
  C hash lib inspired by LUA's table
  ☆10Sep 8, 2016Updated 9 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.
• nickzuber / chalk

  View on GitHub
  Composable and simple terminal highlighting package for OCaml.
  ☆30Feb 3, 2018Updated 8 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆11Updated this week
• fmeum / rules_jni

  View on GitHub
  Java Native Interface (JNI) rules for Bazel
  ☆33Jul 9, 2026Updated last month
• javalib-team / sawja

  View on GitHub
  Sawja provides a high level representation of Java bytecode programs and static analysis tools.
  ☆12Jul 4, 2024Updated 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
  ☆267Mar 7, 2021Updated 5 years ago
• rescript-lang / rescript-editor-support

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

  View on GitHub
  OCaml bindings for Google's LevelDB
  ☆44Dec 14, 2021Updated 4 years ago
• reuniverse / reuniverse

  View on GitHub
  ☆36Feb 1, 2020Updated 6 years ago
• bazelbuild / skydoc

  View on GitHub
  Documentation generator for Skylark
  ☆45Sep 25, 2020Updated 5 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• idris-hackers / idris-lens

  View on GitHub
  ☆22Sep 30, 2016Updated 9 years ago
• uber-common / kotlinbuildperfsamples

  View on GitHub
  Sample code for https://eng.uber.com/measuring-kotlin-build-performance/
  ☆12Apr 30, 2019Updated 7 years ago
• avohq / bs-firebase

  View on GitHub
  ☆42Oct 19, 2019Updated 6 years ago
• haskell-lisp / historic-lisk

  View on GitHub
  S-expression-based syntax alternative for Haskell.
  ☆22Jan 14, 2014Updated 12 years ago
• redfin / bazel-generator-plugin

  View on GitHub
  ☆13Oct 4, 2022Updated 3 years ago
• jaredly / hooks-experimental

  View on GitHub
  An experiment using react's new "hooks" with ReasonReact
  ☆76Oct 30, 2018Updated 7 years ago
• YuhangGe / font-extract

  View on GitHub
  generate sub font and store to new ttf/woff file
  ☆11Nov 3, 2014Updated 11 years ago