Cristiano Calcagno's starred repositories

revery

:zap: Native, high-performance, cross-platform desktop apps - built with Reason!

Language:ReasonLicense:MITStargazers:8067Issues:79Issues:266

oni2

Native, lightweight modal code editor

Language:ReasonLicense:MITStargazers:7755Issues:83Issues:1583

Lona

A tool for defining design systems and using them to generate cross-platform UI code, Sketch files, and other artifacts.

Language:SwiftLicense:MITStargazers:7526Issues:174Issues:79

pyre-check

Performant type-checking for python.

Language:OCamlLicense:MITStargazers:6716Issues:114Issues:400

star-history

The missing star history graph of GitHub repos - https://star-history.com

Language:TypeScriptLicense:MITStargazers:5994Issues:24Issues:98

rift

Rift: an AI-native language server for your personal AI software engineer

Language:PythonLicense:Apache-2.0Stargazers:3027Issues:30Issues:87

fastpack

Pack JS code fast & easy

Language:OCamlLicense:MITStargazers:2265Issues:37Issues:62

skip

A programming language to skip the things you have already computed

Language:JavaScriptLicense:MITStargazers:1968Issues:61Issues:47

deckdeckgo

The web open source editor for presentations

avatar-generator

Personas, an avatar generator by Draftbit

Language:ReScriptLicense:MITStargazers:1251Issues:16Issues:14

wonka

🎩 A tiny but capable push & pull stream library for TypeScript and Flow

Language:TypeScriptLicense:MITStargazers:694Issues:11Issues:56

reprocessing

ReasonML graphics library inspired by Processing

Language:ReasonLicense:MITStargazers:679Issues:18Issues:95

motoko

Simple high-level language for writing Internet Computer canisters

Language:OCamlLicense:Apache-2.0Stargazers:488Issues:43Issues:890

sketch-sh

Sketch.sh - Online Code Editor and ReasonML community

Language:ReasonLicense:NOASSERTIONStargazers:425Issues:12Issues:173

verifast

Research prototype tool for modular formal verification of C and Java programs

Language:RustLicense:NOASSERTIONStargazers:341Issues:25Issues:247

luv

Cross-platform asynchronous I/O and system calls

Language:OCamlLicense:MITStargazers:275Issues:10Issues:112

syntax

ReScript's syntax as a standalone repo.

Language:OCamlLicense:MITStargazers:257Issues:21Issues:336

ocamlrun-wasm

OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM

sudograph

GraphQL database for the Internet Computer

Language:HTMLLicense:MITStargazers:220Issues:14Issues:89

bs-express

Express bindings in Reason

Language:ReScriptLicense:MITStargazers:211Issues:6Issues:39

philip2

An Elm to OCaml compiler

Language:OCamlLicense:MITStargazers:204Issues:9Issues:0

replit-3B-inference

Run inference on replit-3B code instruct model using CPU

Language:PythonLicense:MITStargazers:152Issues:3Issues:13

cards

Prototyping the UI of 2030

Language:OCamlStargazers:110Issues:4Issues:0

reason-reactify

:rocket: Transform a mutable tree into a functional React-like API

Language:OCamlLicense:MITStargazers:103Issues:9Issues:8

reason-websocket

A websocket library for reason native

Language:OCamlStargazers:57Issues:4Issues:0

covid-19charts.com

Interactive chart of COVID-19 cases per location

reason-workshop

Workshop materials and exercise

Language:OCamlLicense:GPL-3.0Stargazers:31Issues:2Issues:0

JsOfOCairo

OCaml library to reuse Cairo-based drawing code in browser

hypatia

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

Language:OCamlLicense:MITStargazers:12Issues:5Issues:0