Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content
View smuenzel's full-sized avatar
6 followers · 17 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report smuenzel

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

Stars

Showing results

caterinaurban / Typpete

Python 37 6 Updated Sep 12, 2019

bitwuzla / ocaml-bitwuzla

Bitwuzla SMT solver repackaged for convenient use in opam.

OCaml 10 3 Updated Nov 14, 2024

rems-project / sail

Sail architecture definition language

OCaml 686 125 Updated Mar 9, 2025

Drup / dowsing

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

OCaml 34 4 Updated Feb 18, 2025

OCADml / OSCADml

OpenSCAD DSL for OCaml

OCaml 19 1 Updated May 2, 2023

nyinyithann / neovim-ocaml

NeoVim setup in Lua for OCaml development

Lua 14 4 Updated Sep 15, 2022

immich-app / immich

High performance self-hosted photo and video management solution.

TypeScript 60,771 3,202 Updated Mar 10, 2025