Giters
hhugo

hhugo

Geek Repo

199

followers

261

following

730

stars

Github PK Tool:Github PK Tool

Organizations
ocsigen

hhugo's starred repositories

esbuild

An extremely fast bundler for the web

Language:GoLicense:MITStargazers:37543Issues:285Issues:3359

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:19871Issues:60Issues:568

streaming-llm

[ICLR 2024] Efficient Streaming Language Models with Attention Sinks

Language:PythonLicense:MITStargazers:6330Issues:61Issues:77

minivm

A VM That is Dynamic and Fast

Language:CLicense:MITStargazers:1561Issues:34Issues:8

js-examples

Code examples that accompany the MDN JavaScript/ECMAScript documentation

Language:JavaScriptLicense:CC0-1.0Stargazers:1101Issues:34Issues:9

hazel

Hazel, a live functional programming environment with typed holes

Language:OCamlLicense:MITStargazers:680Issues:14Issues:737

unidecode

ASCII transliterations of Unicode text - GitHub mirror

Language:PythonLicense:GPL-2.0Stargazers:507Issues:11Issues:51

PETOOH

( a fundamentally new programming language )>🐓

Language:C++License:MITStargazers:506Issues:19Issues:15

ott

The Ott tool for writing definitions of programming languages and calculi

Language:OCamlLicense:NOASSERTIONStargazers:326Issues:15Issues:50

tylr

a tiny tile-based editor

Language:ReasonLicense:MITStargazers:266Issues:14Issues:5

teyjus

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

Language:CLicense:GPL-3.0Stargazers:141Issues:15Issues:123

stanc3

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

Language:OCamlLicense:BSD-3-ClauseStargazers:137Issues:28Issues:588

flambda-backend

The Flambda backend project for OCaml

Language:OCamlStargazers:89Issues:17Issues:278

ocaml

WebAssembly backend for OCaml

Language:OCamlLicense:NOASSERTIONStargazers:80Issues:16Issues:15

meio

Monitor Eio programs

Language:OCamlLicense:MITStargazers:76Issues:3Issues:15

zanuda

OCaml linter

Language:OCamlLicense:LGPL-3.0Stargazers:60Issues:1Issues:30

ocaml-multicont

multi-shot continuations in OCaml

Language:OCamlLicense:MITStargazers:42Issues:3Issues:6

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:36Issues:2Issues:30

dowsing

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

Language:OCamlLicense:ISCStargazers:35Issues:6Issues:16

legend-of-zolda

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

Language:OCamlStargazers:27Issues:3Issues:1

ocaml-gitlab

Native OCaml bindings to Gitlab REST API v4

Language:OCamlLicense:BSD-3-ClauseStargazers:27Issues:7Issues:9

tezos-on-tezos

Michelson VM and Tezos OS in Rust

Language:RustLicense:MITStargazers:25Issues:3Issues:15

stdlib-utf

Add UTF decoding support to the OCaml Stdlib

Language:OCamlLicense:NOASSERTIONStargazers:16Issues:5Issues:4

ubase

remove accents from utf8 strings

Language:OCamlLicense:LGPL-3.0Stargazers:15Issues:5Issues:1

jsoo-p5

Js_of_ocaml bindings for the p5.js library

Language:OCamlStargazers:12Issues:3Issues:1

o1js-bindings

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

Language:JavaScriptLicense:NOASSERTIONStargazers:10Issues:17Issues:24

fuzzy_compare

Language:OCamlLicense:MITStargazers:10Issues:2Issues:0

integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

Language:JavaScriptLicense:MITStargazers:6Issues:7Issues:6

typeset-ocaml

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

Language:OCamlLicense:GPL-3.0Stargazers:5Issues:2Issues:1

tezos-timelock

Tezos timelock

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