hi, i'm veit. i'm a technologist at large in erlangen, germany. i work independently at the intersection of developer experience, programming languages, and technical due diligence. i also have vast…
hi, i'm veit.
i'm a technologist at large in erlangen, germany.
i work independently at the intersection of developer experience, programming languages, and technical due diligence.
i also have vast experience in security and network automation, where i spend a lot of my professional engagements.
i live for expressive systems and delightful abstractions. this has often led me to lisp and smalltalk.
currently
i’m working on security & network automation tools over at cyberwitchery labs. check the blog or
find the work on github. for instance, check out alembic for a model-driven
dcim/ipam tool, or familiar for a simple llm workflow orchestrator.
projects & contributions
- glamorous toolkit: a moldable development environment.
- carp: a statically typed lisp for realtime applications.
experiments
- sbcli: a repl for sbcl that doesn’t suck. built to improve my interactive lisp experience outside of an editor.
- microml: a minimalist ml-style language compiler and interpreter in under 750 lines of python.
- mae: maps are everything.
- compfuck: a brainfuck compiler written in carp macros that runs entirely at compile time.
- cspfuck: brainfuck with actors, written in c, without dependencies, with a x86 jit.
- cj: a dependency-free jit framework for c, with backends for x86 and arm64.
what i care about
- systems that are moldable, inspectable, and useful
- tooling that respects our time and attention
- speaking & writing about the things we do, because i love teaching & learning
elsewhere
-
programming-talks
Awesome & interesting talks about programming
Python ★ 7.4k 7d agoExplain → -
e ▣
A dead simple editor
C ★ 455 6y agoExplain → -
sbcli
A REPL for my SBCL needs
Common Lisp ★ 105 3mo agoExplain → -
ptolemy
My reading list
★ 85 4y agoExplain → -
cspfuck ▣
Brainfuck with Actors
C ★ 36 7y agoExplain → -
hawkweed
Yet another implementation of missing functions for Python
Python ★ 20 9y agoExplain → -
anima.carp
A simple drawing and animation framework for Carp
★ 17 14d agoExplain → -
blog
My personal blog
Python ★ 17 2mo agoExplain → -
carp-vim
A Vim plugin for Carp
Vim Script ★ 17 3mo agoExplain → -
gt
A simple greenthreading library
C ★ 8 5y agoExplain → -
gt4processing
is a Processing clone in GT
Smalltalk ★ 7 1y agoExplain → -
Data.DDate
Discordian Dates for Haskell
Haskell ★ 6 10y agoExplain → -
notes
A dead simple note-taking utility
Python ★ 6 8y agoExplain → -
hi
A dead simple chat
Go ★ 5 9y agoExplain → -
gtstartup
in which i publish my gt build scripts
Smalltalk ★ 4 7mo agoExplain → -
invoicing
A homegrown invoicing system very similar to the one I use
TeX ★ 4 6y agoExplain → -
remind.py
A personal reminder tool
Python ★ 4 7y agoExplain → -
bachelor-thesis
My Bachelor Thesis (about zepto)
TeX ★ 4 9y agoExplain → -
gt.carp
A gt wrapper for Carp (greenthreads, yay!)
C ★ 3 14d agoExplain → -
talks
A collection of talks I’ve given and proposed (reach out!)
C ★ 3 1mo agoExplain → -
cowsay.carp
cowsay, in Carp
C ★ 3 5y agoExplain → -
todo
My To Do list for big things
★ 3 5y agoExplain → -
rot26
A state-of-the-art crypto algorithm in Carp
★ 3 6y agoExplain → -
reptile ▣
Snake in Carp
★ 3 8y agoExplain → -
Quines
A few Uniquines
Makefile ★ 3 11y agoExplain → -
collec
Generic collections for Carp.
★ 2 1d agoExplain → -
Detanglement ▣
Big Data Visualization / Research at FKI/HTW Berlin
JavaScript ★ 2 11y agoExplain → -
queue.carp
[WIP] A simple Queue type for Carp
★ 2 6y agoExplain → -
eventually-consistent-partying
No description.
TeX ★ 2 7y agoExplain → -
shipping
A solution to Kevin’s shipping puzzle
★ 2 7y agoExplain → -
a_bad_idea
Code for my Lightning Talk at EuroPython2016 (the one I didn’t give)
Python ★ 2 7y agoExplain → -
hiss
A REPL for a Lisp-like language - because why not
C ★ 2 10y agoExplain → -
marriage ▣
April, 13th, 2018
HTML ★ 2 8y agoExplain → -
llm-chat.carp
in which we built an llm chat app in and for carp
JavaScript ★ 1 1d agoExplain → -
Carp ⑂
A statically typed lisp, without a GC, for high performance applications
Haskell ★ 1 2d agoExplain → -
sudoku
in which we solve Sudoku puzzles
Common Lisp ★ 1 2mo agoExplain → -
hamurabi
The BASIC gaming classic in zepto
★ 1 9y agoExplain → -
mimir
Mimir is the God of Wisdom
Haskell ★ 1 9y agoExplain → -
bricolage
Some ideas and programs that could maybe, possibly, at some point be almost acceptable.
★ 1 4y agoExplain → -
carp-talks
A collection of talks I’ve given or will be giving on Carp
TeX ★ 1 7y agoExplain → -
carp-intro
An introductory talk about Carp, given at Enthusiasticon 2018
★ 1 8y agoExplain → -
hashmap ▣
A simple Hashmap for Carp
★ 1 8y agoExplain → -
aoc-2017
AOC solutions for 2017 (in Carp and zepto)
★ 1 8y agoExplain → -
miss
For all y'all at home
HTML ★ 1 9y agoExplain → -
backwards
A cross-compiler from zepto to JavaScript
JavaScript ★ 1 9y agoExplain → -
release-party
The slides for my talk at the release party of zepto (0.9.6)
★ 1 9y agoExplain → -
env
A environment variable DSL for zepto
★ 1 9y agoExplain → -
pi
A π-calculus based greenthreading actor concurrency lightweight [mumble]
★ 1 9y agoExplain → -
simplereq
A native extension for zepto that empowers you to make requests easily
Haskell ★ 1 9y agoExplain → -
native
A zeps template for native extensions
Haskell ★ 1 9y agoExplain → -
zepsh
A small shell powered by zepto
★ 1 9y agoExplain → -
js-parse-dispatch
Make script tags work with any language
JavaScript ★ 1 10y agoExplain → -
coreutils
A few coreutils, rewritten in zepto
★ 1 10y agoExplain → -
pyzepto
A crude way of interfacing Python with zepto
Python ★ 1 10y agoExplain → -
golflisp
A few macros and aliases for zepto for better code golf performance
★ 1 10y agoExplain → -
lean
A lean zeps template
★ 1 9y agoExplain → -
gh-stats
Fetch your personal Github statistics
JavaScript ★ 1 10y agoExplain → -
gevent-tutorial-de ⑂
Gevent tutorial for the Working Python Developer [German]
HTML ★ 1 11y agoExplain → -
lazy ⑂
Lazy computations for Carp
C ★ 0 1d agoExplain → -
hellerve
me.
★ 0 1mo agoExplain → -
spdx-rs ⑂
Parse SPDX Documents to Rust strcts.
★ 0 2y agoExplain → -
nautobot-docker-compose ⑂
Docker Compose for Nautobot
Python ★ 0 5mo agoExplain → -
iceberg-git-cli ⑂
Alternative Iceberg git CLI implementation replacing the use of Libgit2 FFI with external process invocations of the git CLI executable
Smalltalk ★ 0 7mo agoExplain → -
gt4llm ⑂
A GT package for working with LLMs
Smalltalk ★ 0 7mo agoExplain → -
numpy ⑂
The fundamental package for scientific computing with Python.
Python ★ 0 2mo agoExplain → -
pandas ⑂
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Python ★ 0 7mo agoExplain → -
nltools ⑂
Python toolbox for analyzing imaging data
Python ★ 0 7mo agoExplain → -
seispy ⑂
Python module of seismology and receiver functions
Python ★ 0 7mo agoExplain → -
scikit-image ⑂
Image processing in Python
Python ★ 0 7mo agoExplain → -
pywt ⑂
PyWavelets - Wavelet Transforms in Python
Python ★ 0 7mo agoExplain → -
gt4beam ⑂
No description.
Smalltalk ★ 0 7mo agoExplain → -
ElixirGtBridge ⑂
No description.
Elixir ★ 0 8mo agoExplain → -
gtoolkit ⑂
Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
Smalltalk ★ 0 8mo agoExplain → -
gt4dd
using gt as a dd tool
Smalltalk ★ 0 10mo agoExplain → -
codex ⑂
Lightweight coding agent that runs in your terminal
Rust ★ 0 10mo agoExplain → -
gt-k8s-dashboard ⑂
A Kubernetes dashboard built with Glamorous Toolkit
★ 0 1y agoExplain → -
esug.github.io ⑂
European Smalltalk User Group Website
CSS ★ 0 1y agoExplain → -
ollama ⑂
Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.
★ 0 1y agoExplain → -
Gt4Chess
A chess visualization engine, in GT
Smalltalk ★ 0 2y agoExplain → -
Gt4Workouts
A workout log in GT
Smalltalk ★ 0 2y agoExplain → -
cli
A composable CLI library for zepto
★ 0 6y agoExplain → -
base64
A base64 library for and in zepto
★ 0 9y agoExplain → -
readline
A readline port for and in zepto
★ 0 10y agoExplain → -
require
Add Clojure-style requiring to zepto
★ 0 10y agoExplain → -
typeinfer
A naive typechecker for zepto programs
★ 0 10y agoExplain → -
pharo-beacon ⑂
Beacon is a small event and logging framework for pharo
Smalltalk ★ 0 3y agoExplain → -
libgit2-pharo-bindings ⑂
libgit2 bindings for Pharo
★ 0 4y agoExplain → -
nautobot ⑂
Network Source of Truth & Network Automation Platform
Python ★ 0 4y agoExplain → -
netbox ⑂
IP address management (IPAM) and data center infrastructure management (DCIM) tool.
Python ★ 0 4y agoExplain → -
pysshutil ⑂
Python SSH Utility Library
★ 0 5y agoExplain → -
influxdb_exporter ⑂
A server that accepts InfluxDB metrics via the HTTP API and exports them via HTTP for Prometheus consumption
★ 0 6y agoExplain → -
Bloc ⑂
Low-level UI infrastructure & framework for Pharo
Smalltalk ★ 0 6y agoExplain → -
write-a-hash-table ⑂
✏️ Learn how to write a hash table in C
★ 0 6y agoExplain → -
netbox_example_plugin
An example plugin for Netbox
Python ★ 0 7y agoExplain → -
linguist ⑂
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby ★ 0 7y agoExplain → -
html5hacker ⑂
Hacker typer clone in HTML5
HTML ★ 0 7y agoExplain → -
optika ⑂
Optics library for JavaScript
JavaScript ★ 0 7y agoExplain → -
base64-utf8
An adapter for the Base64 and UTF8, and showcase
★ 0 6y agoExplain → -
e12n-proposal
No description.
★ 0 8y agoExplain → -
rc-presentation
A presentation I gave while at Recurse Center (08/10/2017)
★ 0 8y agoExplain → -
uri
An URI datatype for zepto, as a native module
Haskell ★ 0 9y agoExplain → -
bjson
Fast native JSON parser for zepto
Haskell ★ 0 9y agoExplain → -
klutz
zepto modules to Clojure namespaces
★ 0 9y agoExplain → -
eliza.zp
ELIZA in zepto
★ 0 9y agoExplain → -
toothbrush ⑂
Get/Set your env var in Redis.
Python ★ 0 9y agoExplain → -
docgen
Automatic documentation generation for zepto
CSS ★ 0 9y agoExplain → -
bach
Classes for zepto
★ 0 8y agoExplain → -
tir ⑂
Terminal Image Renderer
Go ★ 0 10y agoExplain → -
bizc
My business cards and their LaTeX sources
TeX ★ 0 10y agoExplain → -
fck-curl
Don't pipe into CURL.
★ 0 10y agoExplain → -
badges
A simple badge service written in zepto
★ 0 9y agoExplain → -
lang-server
A simple zepto DSL for creating HTTP servers
★ 0 9y agoExplain → -
redis
A redis client library for zepto
★ 0 9y agoExplain → -
serialization
Serialization for zepto
★ 0 9y agoExplain → -
ddate-server
A simple Ddate server in zepto
★ 0 10y agoExplain → -
szc
A silly compiler [ABANDONED]
★ 0 10y agoExplain → -
progress
A simple CLI progress bar for zepto
★ 0 9y agoExplain → -
geometry
Basic types and functions for geometry in zepto
★ 0 10y agoExplain → -
zhighlight
A small, slow and possibly buggy syntax highlighter for zepto for the terminal
★ 0 9y agoExplain → -
plt-ideas-bot ⑂
Twitter bot generating PLT ideas by mashing up previous ideas
Python ★ 0 10y agoExplain → -
tool
A zeps template for tools
★ 0 9y agoExplain → -
zepto-keygen
A RSA key generator in zepto
★ 0 10y agoExplain → -
md5
A MD5 implementation for zepto [non-working]
★ 0 10y agoExplain → -
markdown-toc
A zepto-based TOC generator for Markdown files
★ 0 10y agoExplain → -
blackjack
Let's play Blackjack!
★ 0 10y agoExplain → -
minilisp
A minimal Lisp implementation in zepto
★ 0 10y agoExplain → -
exemplar
An exemplar port for zepto
★ 0 9y agoExplain → -
zepto-brainfuck
A Brainfuck interpreter written in zepto
★ 0 10y agoExplain → -
zvm
A useless register-based virtual machine in zepto
★ 0 10y agoExplain → -
clojure-meetup-slides
The slides I used for the Berlin Clojure Meetup (13th January 2016)
★ 0 10y agoExplain → -
advent-of-code-2015
My solutions for the Advent Of Code challenges
Python ★ 0 10y agoExplain → -
utilities
Utilities in various programming languages
Python ★ 0 11y agoExplain → -
kinko-sys ⑂
kinko system tools
Shell ★ 0 12y agoExplain → -
pharo ⑂
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
Smalltalk ★ 0 2y agoExplain → -
beautiful_zepto
Zepto implementation of the languages described in "Beautiful Racket"
Brainfuck ★ 0 9y agoExplain → -
hellerve.github.io
Redirect to my blog
★ 0 11y agoExplain →
No repos match these filters.