Pinned Repositories
asd-graph
Graphs dependencies in the asd files of Common Lisp systems.
exception-handling
jeffrey
Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
lambda
A mirror of https://gitlab.common-lisp.net/idimitriou/lambda A toy interpreter and compiler of the untyped λ calculus, written in common lisp.
NBG_HOL
A formalisation of NBG set theory in Isabelle/HOL
ioannad's Repositories
ioannad/jeffrey
Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
ioannad/NBG_HOL
A formalisation of NBG set theory in Isabelle/HOL
ioannad/asd-graph
Graphs dependencies in the asd files of Common Lisp systems.
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.
ioannad/exception-handling
ioannad/console
Console Standard
ioannad/docker-kafka
Kafka http://kafka.apache.org/ in a small image
ioannad/docker-openwrt-elastic
Dockerfile for an OpenWrt image with Elasticsearch installed.
ioannad/docker-openwrt-fluentbit
Fluentbit docker image on top of mcreations/openwrt-x64
ioannad/docker-zookeeper
Zookeeper docker image
ioannad/elasticsearch
Open Source, Distributed, RESTful Search Engine
ioannad/engine262
An implementation of ECMA-262 in JavaScript
ioannad/erlangen
Distributed, asychronous message passing system for Clozure Common Lisp
ioannad/experiments
ioannad/geneva
Geneva: portable document preparation system
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.
ioannad/maxpc
Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.
ioannad/meetings
WebAssembly meetings (VC or in-person), agendas, and notes
ioannad/nocode
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
ioannad/notes
TC39 meeting notes
ioannad/proposal-change-array-by-copy
Provides additional methods to Array.prototype to enable changes on an array by returning a new copy of it with the change.
ioannad/proposal-record-tuple
ECMAScript proposal for the Record and Tuple value types. | Stage 2: it will change!
ioannad/spec
WebAssembly specification, reference interpreter, and test suite.
ioannad/tensorflow
An Open Source Machine Learning Framework for Everyone
ioannad/test-elastic
move along, nothing to see here
ioannad/test-openshift-javascript-app
To test deploying apps with openshift - for tutorial use.
ioannad/test262
Official ECMAScript Conformance Test Suite
ioannad/threads
Threads and Atomics in WebAssembly
ioannad/wasm-compare
A fork of the ECMAScript Language Specification Comparator