Skip to content
View MisterDA's full-sized avatar
💾
furiously hacking
💾
furiously hacking
  • Paris, France
  • 12:05 (UTC +01:00)

Block or report MisterDA

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

An overlay on Eglot for editing OCaml code using LSP

Emacs Lisp 29 2 Updated Jan 24, 2025

The core OCaml system: compilers, runtime system, base libraries

OCaml 5,606 1,115 Updated Feb 1, 2025

Code that renders an image as a series of lines connecting pins around a circular frame (for more detail, see my Medium page).

HTML 122 22 Updated Jan 19, 2025

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml 10,963 654 Updated Feb 3, 2025

a dlopen-like API for Windows

OCaml 107 32 Updated Jan 16, 2025

Context sensitive completion for OCaml in Vim and Emacs

OCaml 1,599 235 Updated Feb 3, 2025

An OpenAPI 3 to OCaml client generator.

OCaml 20 Updated Nov 21, 2024
Ruby 34 2 Updated Dec 12, 2023

A Grub Theme in the style of Minecraft!

Python 3,348 47 Updated Dec 21, 2024

An engine for displaying slips, the next-gen version of slides

HTML 668 13 Updated Feb 2, 2025

Render ASCII art as SVG diagrams

Go 678 45 Updated Jul 31, 2024

⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !

Rust 1,688 111 Updated Nov 8, 2024
OCaml 27 3 Updated Nov 26, 2024

Emulate huge mobile ad-hoc mesh networks using Linux network namespaces.

Python 160 20 Updated Sep 18, 2024

A small library for convenient printf debugging and function tracing

OCaml 27 Updated Sep 25, 2022

Probabilistic music composition in Idris2

Idris 15 Updated Dec 23, 2022

A simple library for manipulating Master Boot Records

OCaml 18 8 Updated Feb 28, 2024

Realtime grep for OCaml/Coq sources available on opam

OCaml 80 2 Updated Sep 5, 2024

A hands-on tutorial on the new parallelism features in OCaml 5

OCaml 204 11 Updated Mar 11, 2024

Native OCaml bindings to Gitlab REST API v4

OCaml 26 8 Updated Oct 25, 2024

Pure OCaml Wayland protocol implementation

OCaml 72 5 Updated Aug 9, 2024
JavaScript 1 1 Updated Jan 18, 2022

Ocaml modular spam filter

OCaml 15 1 Updated Sep 16, 2024

Use Lwt libraries from within Eio

OCaml 33 5 Updated Apr 9, 2024

Multicore OCaml

OCaml 762 68 Updated Dec 9, 2022

collect activity and format as markdown for a journal

OCaml 18 6 Updated Sep 2, 2021
1 Updated Sep 1, 2021

A small set of Python functions to draw pretty maps from OpenStreetMap data. Based on osmnx, matplotlib and shapely libraries.

Jupyter Notebook 11,487 542 Updated Jan 12, 2025
GLSL 1 Updated May 2, 2021

Show the internal dependencies in your OCaml/Reason/Dune project

OCaml 58 7 Updated Jan 23, 2025
Next