Skip to content
View MarcCoquand's full-sized avatar

Block or report MarcCoquand

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
Showing results

Language Server Protocol (LSP) plugin for Vim9

Vim Script 468 56 Updated Sep 23, 2024

Emacs ❤️ Sway

Emacs Lisp 61 2 Updated Dec 19, 2023

WIP

Scheme 31 1 Updated Jul 11, 2024

Emacs viewer for DevDocs

Emacs Lisp 287 16 Updated Apr 28, 2024

a small statically-linked linux system

Roff 2,777 85 Updated Aug 15, 2024

Dynamic tiling Wayland compositor configurable in Guile Scheme, based on dwl and libguile - now with a REPL!

C 100 5 Updated Jan 12, 2024

note-taking tool on Emacs

Emacs Lisp 75 6 Updated Sep 26, 2024

OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.

OCaml 16 Updated Feb 2, 2024

A vi-like editor based on Plan 9's structural regular expressions

C 4,253 257 Updated Sep 13, 2024

Render HTML, SVG, MathML, htmx markup from your OCaml app

OCaml 156 14 Updated Sep 9, 2024

Turn opam-based OCaml projects into Nix derivations

Nix 109 32 Updated May 21, 2024

An actor-model multi-core scheduler for OCaml 5 🐫

OCaml 553 36 Updated Jul 20, 2024

A web annotation server built with the same principles as Git

OCaml 34 1 Updated Sep 6, 2024

An Activitypub server in OCaml!

OCaml 67 4 Updated Apr 29, 2023

A fun little TUI framework for OCaml

OCaml 336 26 Updated Sep 16, 2024

Vim plugin to use Tig as a git client. Seamless switching between vim and Tig with opening in the same buffer.

Vim Script 203 14 Updated Feb 8, 2024

Git-based decentralized issue management

Shell 765 66 Updated May 16, 2024
TypeScript 38 Updated Nov 1, 2023

A new way to see and navigate directory trees : https://dystroy.org/broot

Rust 10,591 234 Updated Sep 23, 2024

Text-mode interface for git

C 12,394 605 Updated Jul 20, 2024

A plain text note-taking assistant

Go 1,653 122 Updated Sep 17, 2024

web frontend for git

Go 379 25 Updated Jul 14, 2024

A distributed SQLite replicator built on top of NATS

Go 1,801 41 Updated Aug 12, 2024

A free, self-hostable news aggregator…

PHP 9,533 816 Updated Sep 23, 2024

Minimal distributed configuration management in bash

Shell 1,309 36 Updated Nov 24, 2023

A privacy preserving identity exchange Web API

Bikeshed 369 72 Updated Sep 23, 2024

Website for solidproject.org

HTML 147 102 Updated Sep 11, 2024

The tiniest PaaS you've ever seen. Piku allows you to do git push deployments to your own servers.

Python 5,732 135 Updated Sep 26, 2024

💡 dokieli is a clientside editor for decentralised article publishing, annotations and social interactions

JavaScript 802 82 Updated Sep 23, 2024

Add Org Mode support to Obsidian.

JavaScript 192 5 Updated Dec 14, 2023
Next