Giters
Ioanna M Dimitriou H (ioannad)

ioannad

Geek Repo

55

followers

47

following

90

stars

Company:@igalia

Location:Bonn, Germany

Home Page:http://ioa.re

Github PK Tool:Github PK Tool

Organizations
slime
web-platform-tests

Ioanna M Dimitriou H's repositories

jeffrey

Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.

Language:Common LispStargazers:24Issues:5Issues:4

NBG_HOL

A formalisation of NBG set theory in Isabelle/HOL

Language:IsabelleStargazers:6Issues:1Issues:0

asd-graph

Graphs dependencies in the asd files of Common Lisp systems.

Language:Common LispStargazers:3Issues:1Issues:0

lambda

A mirror of https://gitlab.common-lisp.net/idimitriou/lambda A toy interpreter and compiler of the untyped λ calculus, written in common lisp.

Language:Common LispStargazers:2Issues:0Issues:0

exception-handling

Language:WebAssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

console

Console Standard

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

docker-kafka

Kafka http://kafka.apache.org/ in a small image

Language:ShellStargazers:0Issues:1Issues:0

docker-openwrt-elastic

Dockerfile for an OpenWrt image with Elasticsearch installed.

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

docker-openwrt-fluentbit

Fluentbit docker image on top of mcreations/openwrt-x64

Language:ShellStargazers:0Issues:1Issues:0

docker-zookeeper

Zookeeper docker image

Language:ShellStargazers:0Issues:0Issues:0

elasticsearch

Open Source, Distributed, RESTful Search Engine

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

engine262

An implementation of ECMA-262 in JavaScript

License:MITStargazers:0Issues:0Issues:0

erlangen

Distributed, asychronous message passing system for Clozure Common Lisp

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:1Issues:0

experiments

Language:CMakeStargazers:0Issues:1Issues:0

geneva

Geneva: portable document preparation system

Language:Common LispStargazers:0Issues:1Issues:0

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.

Language:JavaScriptStargazers:0Issues:0Issues:0

maxpc

Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:1Issues:0

meetings

WebAssembly meetings (VC or in-person), agendas, and notes

Language:HTMLStargazers:0Issues:0Issues:0

nocode

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

License:Apache-2.0Stargazers:0Issues:1Issues:0

notes

TC39 meeting notes

Stargazers:0Issues:0Issues:0

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.

Language:HTMLStargazers:0Issues:0Issues:0

proposal-record-tuple

ECMAScript proposal for the Record and Tuple value types. | Stage 2: it will change!

Language:HTMLStargazers:0Issues:0Issues:0

spec

WebAssembly specification, reference interpreter, and test suite.

Language:WebAssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

tensorflow

An Open Source Machine Learning Framework for Everyone

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

test-elastic

move along, nothing to see here

Language:ShellStargazers:0Issues:0Issues:0

test-openshift-javascript-app

To test deploying apps with openshift - for tutorial use.

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

test262

Official ECMAScript Conformance Test Suite

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

threads

Threads and Atomics in WebAssembly

Language:WebAssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

wasm-compare

A fork of the ECMAScript Language Specification Comparator

Stargazers:0Issues:0Issues:0