benkard

@egym Germany

Pinned Repositories

.github
My GitHub configuration.
1 1 00
cellspp
A simple dataflow library for C++.
Language:C++26 7 14
cl-bench
A fork of cl-bench for testing sb-eval2.
Language:Common Lisp10
cljssss-g
The Gödel-Gentzen Clojure Syndication Services Super System, CljSSSS^g.
3 4 00
jgvariant
GVariant and OSTree parser for Java
Language:Java0 2 20
mulkcms2
My microblog. Combined successor of Benki and MulkCMS 1.
Language:Java0 2 00
mulkup
A bupstash-based backup script.
Language:Haskell0 2 00
mulkyid
Mulky IMAP BrowserID Primary
Language:Perl2 2 00
quarkus-googlecloud-jsonlogging
A Quarkus extension that outputs structured logs in Google Cloud Logging JSON format.
Language:Java4 3 12
toilet
An ANSI Common Lisp compiler using LLVM.
Language:Common Lisp11 3 00

benkard's Repositories

benkard/toilet
An ANSI Common Lisp compiler using LLVM.
Language:Common Lisp11 3 00
benkard/quarkus-googlecloud-jsonlogging
A Quarkus extension that outputs structured logs in Google Cloud Logging JSON format.
Language:Java4 3 12
benkard/.github
My GitHub configuration.
1 1 00
benkard/cl-json-template
JSON Template in portable Common Lisp.
Language:Common Lisp1 2 00
benkard/fibers
Continuation-based fibers for Scala
Language:Scala1 2 0
benkard/hellonet
An example gRPC service built with F# and .NET Core
Language:F#1 2 0
benkard/jgvariant
GVariant and OSTree parser for Java
Language:Java0 2 20
benkard/mulkcms2
My microblog. Combined successor of Benki and MulkCMS 1.
Language:Java0 2 00
benkard/mulkup
A bupstash-based backup script.
Language:Haskell0 2 00
benkard/aquifer
Water consumption tracker, written with GHCJS and Reflex FRP.
Language:Haskell2 0
benkard/benki
Social bookmarking and lazy chatting/microblogging.
Language:Clojure2 0
benkard/cl-mulkutils
Common Lisp utilities.
Language:Common Lisp2 0
benkard/cl-protocols
Protocols for the Common Lisp Object System.
Language:Common Lisp2 0
benkard/demos
Various demo projects and files used in talks and other occasions
Language:Java2 0
benkard/freestyle-integrations
Freestyle Integrations
Language:Scala
benkard/grpc-java
The Java gRPC implementation. HTTP/2 based RPC
Language:Java1 0
benkard/instadump
ACID persistence for Clojure refs.
Language:Clojure2 0
benkard/json-template-r6rs
JSON Template in portable R6RS.
Language:Scheme2 0
benkard/json-template-racket
JSON Template for Racket.
Language:Scheme2 0
benkard/json-template-typed-racket
JSON Template in Typed Racket.
Language:Scheme2 0
benkard/logikorr
Grading tool for a Mathematical Logic lecture.
Language:JavaScript2 0
benkard/marge-bot
A merge-bot for GitLab
Language:Python0 0
benkard/mulkcms
Web CMS supporting branched article variants.
Language:JavaScript2 0
benkard/mulkjournal
Blog engine as a CGI script. Supports MetaWeblog and AtomPub.
Language:Common Lisp2 0
benkard/mulklib
Functional utilities and persistent data structures for C.
Language:C2 0
benkard/mulkontainers
Shared container images used in my other projects.
Language:Shell1 1
benkard/mulkrypt-for-racket
Cryptographic primitives in pure Racket. Whirlpool, CubeHash, Salsa20, HMAC.
Language:Racket2 0
benkard/objective-cl
Two-way Common-Lisp–Objective-C bridge.
Language:C2 0
benkard/quarkus
Quarkus: Supersonic Subatomic Java.
Language:Java1 0
benkard/quarkus-security
The Quarkus core security implementation