Giters
Xavier Van de Woestyne (xvw)

xvw

Geek Repo

293

followers

100

following

3k

stars

Company:@funkywork, @tarides

Location:Nantes

Home Page:https://xvw.lol

Twitter:@vdwxv

Github PK Tool:Github PK Tool

Organizations
funkywork
ocaml-batteries-team
tarides

Xavier Van de Woestyne's starred repositories

astexplorer

A web tool to explore the ASTs generated by various parsers.

Language:JavaScriptLicense:MITStargazers:6014Issues:59Issues:286

asciiflow

ASCIIFlow

Language:TypeScriptLicense:MITStargazers:4477Issues:54Issues:209

sidebery

Firefox extension for managing tabs and bookmarks in sidebar.

Language:TypeScriptLicense:MITStargazers:2909Issues:31Issues:1387

jsoncanvas

An open file format for infinite canvas data.

Language:JavaScriptLicense:MITStargazers:2296Issues:27Issues:24

themes

A megapack of themes for GNU Emacs.

Language:Emacs LispLicense:MITStargazers:2124Issues:32Issues:471

gitu

A TUI Git client inspired by Magit

Language:RustLicense:MITStargazers:1617Issues:5Issues:73

Diagon

Interactive ASCII art diagram generators. :star2:

Language:C++License:MITStargazers:1453Issues:12Issues:42

phanpy

A minimalistic opinionated Mastodon web client

Language:JavaScriptLicense:MITStargazers:919Issues:11Issues:391

melange

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Language:OCamlLicense:NOASSERTIONStargazers:777Issues:29Issues:232

shake

Shake build system

Language:HaskellLicense:NOASSERTIONStargazers:760Issues:27Issues:658

awesome-jq

A curated list of awesome jq tools and resources.

Stargazers:750Issues:19Issues:10

slipshow

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

Language:OCamlLicense:MITStargazers:610Issues:6Issues:29

styled-ppx

Type-safe styled components for ReScript, Melange and native with type-safe CSS

Language:ReasonLicense:BSD-2-ClauseStargazers:394Issues:8Issues:155

aeneas

A verification toolchain for Rust programs

Language:OCamlLicense:Apache-2.0Stargazers:152Issues:6Issues:96

OMicroB

An OCaml generic virtual machine for microcontrollers

Language:OCamlLicense:NOASSERTIONStargazers:130Issues:18Issues:17

kcas

Software Transactional Memory for OCaml

Language:OCamlLicense:ISCStargazers:96Issues:8Issues:18

zenv

Forth for the ZX Spectrum

Language:AssemblyLicense:MITStargazers:29Issues:3Issues:18

happy-eyeballs

An implementation of happy eyeballs (RFC 8305) in OCaml with lwt

Language:OCamlLicense:ISCStargazers:22Issues:6Issues:16

ocaml-diffutils

An ocaml library for manipulating diffs.

Language:OCamlLicense:MITStargazers:18Issues:0Issues:0

diffcessible

Language:OCamlLicense:MITStargazers:12Issues:4Issues:28

merlin-js

Language:OCamlLicense:MITStargazers:11Issues:3Issues:1

ohex

Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex

Language:OCamlLicense:BSD-2-ClauseStargazers:10Issues:0Issues:0

coq-iteration

Mathematical concepts related to iteration

Language:CoqStargazers:7Issues:2Issues:0

oculator

A GUI Calculator in OCaml

Language:OCamlLicense:MITStargazers:6Issues:0Issues:0

gptar

GPT + TAR header

Language:OCamlLicense:BSD-2-ClauseStargazers:6Issues:1Issues:0

site

My personal site, generator and content

Language:OCamlLicense:GPL-3.0Stargazers:3Issues:0Issues:0

chainsaw

Language:ScalaStargazers:3Issues:0Issues:0

merl-an

Language:Jupyter NotebookLicense:MITStargazers:3Issues:0Issues:0

rocq-gameboy

Language:CoqLicense:GPL-3.0Stargazers:3Issues:0Issues:0

blog

Language:CSSStargazers:2Issues:0Issues:0