Xavier Zwirtz's repositories
idris2-raylib
Idris2 bindings for raylib
idris2-ffigen
FFI generator for c->idris2
idris2-pkgs
An unofficial Idris2 package repository for Nix
dotnet2nix
Generate nix expressions from a dotnet project
bs-material-ui
Reason bindings for material-ui
bs-material-ui-icons
Reason bindings for material-ui-icons
graphiql
GraphiQL & the GraphQL LSP Reference Ecosystem for building browser & IDE tools.
headscale
An open source implementation of the Tailscale control server
hg-resource
Mercurial resource for Concourse
idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
kubenix
Kubernetes resource builder using nix
Paket
A package dependency manager for .NET with support for NuGet packages and GitHub repositories.
querybuilder
SQL query builder, written in c#, helps you build complex queries easily, supports SqlServer, MySql, PostgreSql, Oracle, Sqlite and Firebird
raygui
A simple and easy-to-use immediate-mode gui library
razzle
✨ Create server-rendered universal JavaScript applications with no configuration
sqltoolsservice
SQL Tools API service that provides SQL Server data management capabilities.
taffy
A high performance Rust-powered layout library
Tmds.ExecFunction
Execute a function in a separate process
video-caption
use ffmpeg and imagemagick to generate funny memes
wfvm
fork of https://git.m-labs.hk/M-Labs/wfvm