Skip to content
View hellerve's full-sized avatar

Block or report hellerve

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hellerve/README.md

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.

currently

i’m working on security & network automation tools over at cyberwitchery lab. find the work on github, such as alembic for a model-centric network automation tool, contextual-encoder for xss-safe output encoding in rust, or familiar for a simple llm workflow orchestrator.

projects & contributions
  • glamorous toolkit: a moldable development environment. i contributed to the core, built the first versions of the llm and git tools and worked on various language integrations.
  • carp: a statically typed lisp for realtime applications. i work on the compiler and the stdlib, as well as third party libraries. you can find more of my work over at the carpentry.
experiments
  • metacrap: a carp compiler written in carp, including an incremental compiler system for live editor integrations.
  • mae: maps are everything. an experiment in map calculus.
  • 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

blog, website, talks & writing

Pinned Loading

  1. feenkcom/gtoolkit feenkcom/gtoolkit Public

    Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.

    Smalltalk 1.5k 68

  2. carp-lang/Carp carp-lang/Carp Public

    A statically typed lisp, without a GC, for real-time applications.

    Haskell 6k 185

  3. programming-talks programming-talks Public

    Awesome & interesting talks about programming

    Python 7.4k 504

  4. e e Public archive

    A dead simple editor

    C 455 22

  5. cspfuck cspfuck Public archive

    Brainfuck with Actors

    C 36 3

  6. sbcli sbcli Public

    A REPL for my SBCL needs

    Common Lisp 108 14