Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by talex5

A curated list of projects in awesome lists by talex5 .

https://github.com/talex5/cuekeeper

Browser-based GTD (TODO list) system. No server needed.

gtd irmin mirage todoapp

Last synced: 18 Dec 2024

https://github.com/talex5/wayland-proxy-virtwl

Allow guest VMs to open windows on the host

Last synced: 23 Dec 2024

https://github.com/talex5/ocaml-wayland

Pure OCaml Wayland protocol implementation

ocaml wayland-protocol

Last synced: 18 Dec 2024

https://github.com/talex5/irmin-indexeddb

An Irmin backend for a web browser's IndexedDB store

Last synced: 30 Oct 2024

https://github.com/talex5/js-skeleton

sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`

Last synced: 30 Oct 2024

https://github.com/talex5/get-activity

collect activity and format as markdown for a journal

Last synced: 30 Oct 2024

https://github.com/talex5/mirage-trace-viewer

GTK and HTML viewers for mirage-profile trace files

Last synced: 30 Oct 2024

https://github.com/talex5/spec-vchan

A TLA+ specification for the Xen vchan protocol

specification tlaplus xen

Last synced: 17 Dec 2024

https://github.com/talex5/tla

A Dockerfile for building the TLA+ tools

Last synced: 17 Dec 2024

https://github.com/talex5/qubes-test-mirage

Scripts I use to test Mirage unikernels on QubesOS

Last synced: 30 Oct 2024

https://github.com/talex5/async_eio

Run Async code from within Eio

Last synced: 30 Oct 2024

https://github.com/talex5/async-eio-lwt-chimera

Proof-of-concept for Async/Eio/Lwt in one process

Last synced: 17 Dec 2024

https://github.com/talex5/irmin-www

Irmin-based web server

Last synced: 17 Dec 2024

https://github.com/talex5/hmrc-vat-mtd-hledger-bridge

Software I use for taxes (only useful for me)

hledger hmrc python3 vat

Last synced: 17 Dec 2024

https://github.com/talex5/zarith

zarith with fixes for Mirage

Last synced: 17 Dec 2024

https://github.com/talex5/mirage-trace-dump-xen

Dump the CTF trace of a running mirage-xen unikernel

Last synced: 17 Dec 2024

https://github.com/talex5/lang-tests

A test repository for testing various languages

Last synced: 17 Dec 2024

https://github.com/talex5/mirage-clock-test

An implementation of Mirage's CLOCK and TIME types for unit-tests

Last synced: 17 Dec 2024

https://github.com/talex5/docker-rune

Build a Docker image of the E intepreter

Last synced: 17 Dec 2024

https://github.com/talex5/docker-debian-0install

A Docker image with Debian and 0install

Last synced: 17 Dec 2024

https://github.com/talex5/docker-builders

Build environment used to create 0install's generic binaries

Last synced: 17 Dec 2024

https://github.com/talex5/cohttp-reader-bench

(testing only)

Last synced: 17 Dec 2024

https://github.com/talex5/ocaml-gtk-dynlink

Minimal test for a dynamically-loaded GTK plugin

Last synced: 17 Dec 2024

https://github.com/talex5/tla-toolbox

A Dockerfile for installing the TLA toolbox

Last synced: 17 Dec 2024

https://github.com/talex5/dune-test

Just testing Dune...

Last synced: 17 Dec 2024

https://github.com/talex5/dune-bug

Demo dune bug

Last synced: 17 Dec 2024

https://github.com/talex5/0install-docker

Dockerfiles for installing 0install on various platforms for testing

Last synced: 17 Dec 2024

https://github.com/talex5/flow-tests

Just for testing

Last synced: 17 Dec 2024