hhugo's starred repositories

Language:OCamlStargazers:13Issues:0Issues:0

stanc3

The Stan transpiler (from Stan to C++ and beyond).

Language:OCamlLicense:BSD-3-ClauseStargazers:138Issues:0Issues:0

legend-of-zolda

OCaml implementation of a NES Legend of Zelda-style browser-based game

Language:OCamlStargazers:27Issues:0Issues:0

tylr

a tiny tile-based editor

Language:ReasonLicense:MITStargazers:270Issues:0Issues:0

streaming-llm

[ICLR 2024] Efficient Streaming Language Models with Attention Sinks

Language:PythonLicense:MITStargazers:6388Issues:0Issues:0

o1js-bindings

Bindings for o1js to lower layers of the proof system and the Mina transaction logic

Language:JavaScriptLicense:NOASSERTIONStargazers:10Issues:0Issues:0
Language:OCamlLicense:MITStargazers:10Issues:0Issues:0

meio

Monitor Eio programs

Language:OCamlLicense:MITStargazers:76Issues:0Issues:0

tezos-on-tezos

Michelson VM and Tezos OS in Rust

Language:RustLicense:MITStargazers:25Issues:0Issues:0

ott

The Ott tool for writing definitions of programming languages and calculi

Language:OCamlLicense:NOASSERTIONStargazers:331Issues:0Issues:0

dowsing

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression

Language:OCamlLicense:ISCStargazers:35Issues:0Issues:0

ocaml-multicont

multi-shot continuations in OCaml

Language:OCamlLicense:MITStargazers:43Issues:0Issues:0

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:20170Issues:0Issues:0

ocaml

WebAssembly backend for OCaml

Language:OCamlLicense:NOASSERTIONStargazers:80Issues:0Issues:0

minivm

A VM That is Dynamic and Fast

Language:CLicense:MITStargazers:1562Issues:0Issues:0

integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

Language:JavaScriptLicense:MITStargazers:6Issues:0Issues:0

PETOOH

( a fundamentally new programming language )>🐓

Language:C++License:MITStargazers:508Issues:0Issues:0

js-examples

Code examples that accompany the MDN JavaScript/ECMAScript documentation

Language:JavaScriptLicense:CC0-1.0Stargazers:1110Issues:0Issues:0

tezos-timelock

Tezos timelock

Language:OCamlLicense:NOASSERTIONStargazers:3Issues:0Issues:0

ocaml-gitlab

Native OCaml bindings to Gitlab REST API v4

Language:OCamlLicense:BSD-3-ClauseStargazers:27Issues:0Issues:0

unidecode

ASCII transliterations of Unicode text - GitHub mirror

Language:PythonLicense:GPL-2.0Stargazers:512Issues:0Issues:0

BetterOCaml

A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!), compiled with js_of_ocaml.

Language:JavaScriptLicense:Apache-2.0Stargazers:37Issues:0Issues:0

jsoo-p5

Js_of_ocaml bindings for the p5.js library

Language:OCamlStargazers:12Issues:0Issues:0

hazel

Hazel, a live functional programming environment with typed holes

Language:OCamlLicense:MITStargazers:724Issues:0Issues:0

stdlib-utf

Add UTF decoding support to the OCaml Stdlib

Language:OCamlLicense:NOASSERTIONStargazers:16Issues:0Issues:0

teyjus

An efficient implementation of the higher-order logic programming language Lambda Prolog

Language:CLicense:GPL-3.0Stargazers:141Issues:0Issues:0

typeset-ocaml

An embedded DSL for defining source code pretty printers implemented in OCaml

Language:OCamlLicense:GPL-3.0Stargazers:5Issues:0Issues:0

flambda-backend

The Flambda backend project for OCaml

Language:OCamlStargazers:94Issues:0Issues:0

esbuild

An extremely fast bundler for the web

Language:GoLicense:MITStargazers:37719Issues:0Issues:0

ubase

remove accents from utf8 strings

Language:OCamlLicense:LGPL-3.0Stargazers:15Issues:0Issues:0