Skip to content
View OhadRau's full-sized avatar

Highlights

  • Pro

Organizations

@hackclub @HackGT @alleycats @ListenInApp @nanocaml @NSCSC @Rolltrax

Block or report OhadRau

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Lightweight document

OCaml 132 21 Updated Jul 3, 2024

💥💻💥 A data-parallel functional programming language

Haskell 2,465 173 Updated Feb 20, 2025

ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.

OCaml 46 11 Updated May 22, 2024

Mold: A Modern Linker 🦠

C++ 14,857 485 Updated Feb 17, 2025

no🧢 — ML models for reCaptcha v2

Rust 84 12 Updated Feb 1, 2021

Stream VR games from your PC to your headset via Wi-Fi

Rust 5,941 518 Updated Feb 16, 2025

Streamlining the release of dune packages to opam

OCaml 116 38 Updated Feb 3, 2025

A modular functional web framework

OCaml 360 13 Updated May 29, 2024

Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.

OCaml 53 Updated Jul 21, 2021

Nix Packages collection & NixOS

Nix 19,365 14,971 Updated Feb 20, 2025

Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio

JavaScript 254 98 Updated Feb 10, 2025

A benchmark suite for the OCaml compiler

Jupyter Notebook 83 38 Updated Aug 27, 2024

The Ott tool for writing definitions of programming languages and calculi

OCaml 361 48 Updated Dec 30, 2024

Parser combinators built for speed and memory efficiency

OCaml 668 76 Updated Sep 12, 2024

My fun solutions to common interview problems

Python 91 3 Updated Jun 25, 2023

x86-64 (IA32e) kernel written in the Rust Programming Language

Rust 31 3 Updated Dec 7, 2020

V2 of Real World OCaml

OCaml 1,201 175 Updated Jul 8, 2024

Lisp to Lua

Rust 2 Updated Apr 28, 2020

obs-studio plugin to simulate a directshow webcam

C++ 1,781 344 Updated Dec 3, 2020

Native ReasonML interface for VSCode extensions

Reason 10 1 Updated Apr 29, 2020

A composable build system for OCaml.

OCaml 1,693 414 Updated Feb 19, 2025

Music Generation

1 Updated Dec 27, 2019

Live, interactive playground for Revery examples

OCaml 17 4 Updated May 19, 2019

HexLabs' next generation hardware checkout system 🤖

TypeScript 2 Updated Sep 24, 2024

Embeddable Lambda Prolog Interpreter

Prolog 301 37 Updated Feb 11, 2025

Read, write, and manipulate the Wasm WebIDL bindings custom section

Rust 38 9 Updated Feb 3, 2020

Proposal for allowing modules to define, import and export modules and instances

WebAssembly 119 13 Updated May 1, 2022
Nix 62 1 Updated Feb 18, 2022
Next