Skip to content
Block or report user

Report or block hoelzl

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Popular repositories

  1. Clicc

    The Clicc Common Lisp implementation (version 0.6.4)

    Common Lisp 11

  2. Snark

    Mark Stickel's Snark theorem prover

    Common Lisp 7 5

  3. sicl

    Clone of the SICL Common Lisp Building Blocks

    Common Lisp 5

  4. Lua-Poem-Tools

    Some tools for Poem, implemented in Lua

    Lua 5

  5. PowerLoom

    Unofficial Copy of the PowerLoom Knowledge Representation System

    Java 4

  6. stalin

    Jeffrey Mark Siskind's optimizing Scheme compiler

    C 3

50 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity

March 2019

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.