moranski

Jerusalem, Israel

Pinned Repositories

airflow
Apache Airflow
Language:Python0 1 00
Idris2
A dependently typed programming language, a successor to Idris
Language:Idris0 1 00
tiddlywiki-docker
NodeJS based TiddlyWiki 5 Docker image.
Language:Shell0 0 00

moranski's Repositories

moranski/airflow
Apache Airflow
Language:Python0 1 00
moranski/Idris2
A dependently typed programming language, a successor to Idris
Language:Idris0 1 00
moranski/tiddlywiki-docker
NodeJS based TiddlyWiki 5 Docker image.
Language:Shell0 0 00