zielmicha
I'm a developer with a passion for databases, networking and programming languages theory.
Poland
Pinned Repositories
adb-wrapper
Run adb commands on many devices.
capnp.nim
Cap'n Proto implementation for Nim
emacs-android
Emacs port to Android.
emacspy
Program Emacs in Python instead of ELisp (i.e. write dynamic modules for Emacs in Python)
fc00.org
Hyperboria (CJDNS network) map
freeciv-android
Port of Freeciv for Android and Freeciv bindings for Python.
nodedb
Database of all known (to me) cjdns nodes
ocamlpypy
Ocaml bytecode interpreter/JIT written in RPython (WIP)
reactor.nim
Asynchronous networking engine for Nim
safedeflate
SafeDeflate - compression without leaking secrets
zielmicha's Repositories
zielmicha/reactor.nim
Asynchronous networking engine for Nim
zielmicha/freeciv-android
Port of Freeciv for Android and Freeciv bindings for Python.
zielmicha/fc00.org
Hyperboria (CJDNS network) map
zielmicha/emacspy
Program Emacs in Python instead of ELisp (i.e. write dynamic modules for Emacs in Python)
zielmicha/capnp.nim
Cap'n Proto implementation for Nim
zielmicha/nodedb
Database of all known (to me) cjdns nodes
zielmicha/nim-dbus
libdbus binding for Nim
zielmicha/leveldb.nim
LevelDB wrapper for Nim
zielmicha/ocamlpypy
Ocaml bytecode interpreter/JIT written in RPython (WIP)
zielmicha/ocen
Script for algorithmic contests.
zielmicha/htop
htop fork that shows thread name set by prctl(PR_SET_NAME, ...)
zielmicha/roboot-lang-old
A programming language
zielmicha/fantomas
FSharp source code formatter
zielmicha/fmapp
A file browser app with full-text indexing and upload queue
zielmicha/htop-1
htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.
zielmicha/packages
List of packages for Nimble
zielmicha/paneconfig
i3 stuff
zielmicha/pypgivm
Asynchronous Incremental View Maintenance for Postgres
zielmicha/roboot-lang
A programming language
zielmicha/roboot3
roboot3
zielmicha/rookbook
Something something, Excel, database, Python
zielmicha/rookbook-attempt1
Experiment with incremental computation - Excel-like webapp programmable with Python
zielmicha/rookbook-pyodide
Trimmed Pyodide distribution for Rookbook
zielmicha/self-hostable-logseq
A privacy-first, open-source(frontend now, backend later) platform for knowledge management and collaboration. Desktop app download link: https://github.com/logseq/logseq/releases, roadmap: https://trello.com/b/8txSM12G/roadmap
zielmicha/sequencer
Purely algorithmic number sequence identification
zielmicha/thinkedit-instant
See variable values while editing in Emacs (currently in Python)
zielmicha/trino
Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)
zielmicha/trino-hadoop-apache
Shaded version of Apache Hadoop for Trino
zielmicha/zima-lang
zielmicha/zprompt
run commands from emacs