251 Open source projects that are alternatives of or similar to reasonml-tic-tac-toe

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Intrepyd Model Checker

Read-only mirror of the Klever Git repository

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Frama-C and WP tutorial

The Verifiably Safe Reinforcement Learning Framework

BuckleScript bindings for react-fela

Simple UI framework written in Reasonml.

Formalization of Tendermint proposer election properties

Algebraic proof discovery in Agda

A minimal setup for writing Unikernels in ReasonML

ReasonML bindings for react-hooks-testing-library

ReasonML React Native (Expo) example

A simple way to use cookies in Reason (OCaml) on the frontend. 🍪

Static Site Generator for/in ReasonML

Helper utility to package Revery applications into installable app bundles

This ppx validates the rules of React hooks.

ReasonML bindings for tree-sitter

Type-safe JSON decoding for ReasonML and OCaml

RemoteData and WebData to use with bs-fetch for BuckleScript

Reactive programming library for ReasonML/OCaml

Convert JavaScript doctrings (in jsdoc AST format) to ijavascript Jupyter Notebooks

Bucklescript bindings for axios

A modular sat/smt solver with proof output.

CPS sugar usage for React Render Props composition in ReasonML

Reason API to fetch the daily reports from BACEN PTAX exchanges

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

Adding ReScript with rescript-react on top of @snowpack/app-template-react

⚛️ 🎣 A collection of hooks for ReasonReact

Convert TypeScript type declarations to Reason

Fully proved small C functions (examples for verification course).

Example project to show how to use components lazy loading in ReasonReact

serverless framework plugin for writing functions with Reason

Generate ReasonReact Pages from Markdown

React Native Weather App w. Realm, Redux, ReasonReact & Forecast.io

No description or website provided.

A script for running TLA+/TLC from the command line

A core language for rule-based hardware design 🦑

🦀 Scraping & crawling websites using Rust, and ReasonML

Fast, safe and composable streaming abstractions.

Use GraphiQL + GraphiQL Explorer to build your GraphQL operations, right from inside of VSCode.

A simple starter for lwt-node

Ocaml multimedia library

ReasonML Language Plugin for IDEA

js_of_ocaml bindings for ReactJS. Based on ReasonReact.

Strongly typed declarative markup for the DOM and CSS

Web / Electron client application for Turaku

Reason bindings for React Suite UI library

ReactApollo bindings for BS

Experimental Smart Contracts In Plutus.

[WIP] Reason pattern matching viz

2048 game in Reason React

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

ZestDB

Tools for fetching data from remote sources in Reason

Manage citations from your colleagues , friends, movies, your cat or even yourself.

A chess-themed tutorial on writing an SPA in Bucklescript-TEA

No description or website provided.

Tezos smart contract & dapp development toolkit

An opinionated attempt at finally solving typescript interop for ReasonML / OCaml.