Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by ioannad
A curated list of projects in awesome lists by ioannad .
https://github.com/ioannad/jeffrey
Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
Last synced: 13 Nov 2024
https://github.com/ioannad/nbg_hol
A formalisation of NBG set theory in Isabelle/HOL
Last synced: 13 Nov 2024
https://github.com/ioannad/asd-graph
Graphs dependencies in the asd files of Common Lisp systems.
Last synced: 13 Nov 2024
https://github.com/ioannad/lambda
A mirror of https://gitlab.common-lisp.net/idimitriou/lambda A toy interpreter and compiler of the untyped λ calculus, written in common lisp.
Last synced: 13 Nov 2024
https://github.com/ioannad/test-openshift-javascript-app
To test deploying apps with openshift - for tutorial use.
Last synced: 13 Nov 2024
https://github.com/ioannad/js-console-tests
A simple test suite to generate comparable logs from the console API in JS runtimes. Including generated output logs and a report with the current findings.
Last synced: 13 Nov 2024
https://github.com/ioannad/docker-openwrt-fluentbit
Fluentbit docker image on top of mcreations/openwrt-x64
docker-image docker-openwrt-fluentbit fluent-bit fluentbit mcreations openwrt
Last synced: 13 Nov 2024