244 Open source projects that are alternatives of or similar to REInfer

Swift type checking and semantic analysis for developer tools

Type System for Data Analysis in Python

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

ReScript bindings for Jest

Cubic bezier implementation in Reason / OCaml.

Reason/BuckleScript bindings for the Most.js reactive toolkit

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Support Bigint, Q (rational numbers) and Z (integer numbers) in BuckleScript.

Reason binding generator for react-toolbox

🧶 Some hooks in ReasonML for reason-react that can be useful

Syntax extension for writing SQL in OCaml

BuckleScript bindings for Lwt

BuckleScript binding for graphql-js

Runtime type annotations for CoffeeScript (and JavaScript too!)

Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020

🐈 Catstagram made with ReasonReact!

An example project to write a GraphQL server using Reason

A simple example of a ppx with Reason and esy

Simple, fast, minimalist http server for OCaml/ReasonML

TypeDB: a strongly-typed database

A pure functional type-inferred language based on JavaScript

Composable random generators based on the PCG paper

Compile OCaml/Reason to static iOS libraries

⏰ A simple and customizable timer

ReasonML and Vue

📋 Reasonably making forms sound good

ReasonML/ReScript bindings for the Phoenix javascript library

Learning Reason/OCaml by making an old-school canvas game.

Quick and Dirty development builds

curated list of reasonml PPX rewriter

BuckleScript bindings for Downshift

Astro Design Components

BuckleScript statically typed DSL for CSS (forked from https://github.com/SentiaAnalytics/bs-css)

ReScript bindings for Formidable's Universal React Query Library, urql.

agda-mode on VS Code

(Secure) Ruby to Liquidity w/ ReasonML Syntax / Michelson (Source-to-Source) Cross-Compiler Cheat Sheet / White Paper

👾 Sokoban Game in Pure TypeScript Type System

Node bindings for Reason and Bucklescript

🚀 Native Actors for Reason and OCaml

A Reason implementation of the blossom maximum-matching algorithm

A small library that lets you know whether a component is visible on screen or not.

MQTT client for OCaml/ReasonML

JSON combinator library for BuckleScript/Reason

ReasonML minimal webpack config with webpack-dashboard & reports enabled

Advent of Code 2017

Auto generation of type-safe bindings between Reason and Typescript.

React components that works everywhere (iOS, Android, Web, Node)

Probabilistic Type Inference using Graph Neural Networks

No description or website provided.

Reason + BuckleScript bindings to Immutable.js

🧊 Модальний Гомотопічний Прувер

URL shortener for evlfctry.pro

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Sam's Programming Language

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

Algorithm W and Algorithm M in F#

[WIP] A type system for nix

Game of Life in ReasonML with ReasonReact in 2020

ReasonML/BuckleScript PPX for embedding env variables

(WIP) kayn-powered (typescript node.js) ReasonReact app presenting you a dashboard of high ELO one trick ponies in League of Legends