Skip to content
View kisp's full-sized avatar
  • Berlin, Germany
  • 21:28 (UTC +02:00)

Block or report kisp

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Advent of Code 2024 in Common Lisp

Common Lisp 2 Updated Mar 5, 2025

Automated integer hash function discovery

C 710 29 Updated Mar 1, 2024

A benchmark library for constraints

Prolog 91 69 Updated Oct 7, 2024

Common lisp library for manipulating PDDL expressions.

Common Lisp 15 1 Updated Jan 29, 2025

General library for setting up linux-based environments for developing, running, and evaluating planners.

Shell 117 32 Updated Dec 27, 2024

Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provide PDDL parser in Prolog. In addition we present few easy pl…

Prolog 19 8 Updated Jul 26, 2021

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

C++ 12,534 880 Updated Apr 22, 2025

A couple of lambda shorthand macros

Common Lisp 26 5 Updated Apr 18, 2024

Simple Console Reminder Application

C 82 15 Updated Apr 10, 2025

flat assembler 1 - reconstructed source history

Assembly 1,343 53 Updated Dec 4, 2023

Kanban table for org-mode

Emacs Lisp 252 18 Updated Mar 29, 2025

Concurrent ML-like concurrency for Guile

Scheme 342 35 Updated Mar 31, 2025

Various utilities to make use and creation of custom method combinations easier.

Common Lisp 24 2 Updated Dec 6, 2023

Composable printing of objects.

Common Lisp 11 1 Updated Sep 29, 2022

SBCL IR1 flow viewer

Common Lisp 5 1 Updated Nov 2, 2017
Racket 44 1 Updated Jun 11, 2023

Threading macros for Racket

Racket 51 7 Updated Oct 11, 2024

Racket parser combinators inspired by parsack and megaparsec

Racket 80 13 Updated Oct 12, 2024

An implementation of R7RS in Racket

Racket 99 14 Updated Oct 13, 2024

Unison file synchronizer

OCaml 4,515 243 Updated Mar 5, 2025

Search for old versions of Nix packages

Haskell 345 29 Updated Jan 23, 2025

Guy Steele's RABBIT Scheme compiler

60 3 Updated Apr 1, 2009

Utilities beyond Alexandria

Common Lisp 460 42 Updated Apr 24, 2025

A Smalltalk like Method Finder for Ruby. This is a mirror of the main repository on Sourcehut.

Ruby 269 8 Updated Oct 22, 2024

An implementation of miniKanren in Typed Racket.

Racket 5 Updated May 3, 2021

CIEL Is an Extended Lisp. Scripting with batteries included.

Common Lisp 381 19 Updated Mar 12, 2025

A Clojure interface to the Sat4j satisfaction solver.

Clojure 70 6 Updated Oct 2, 2022

Human-optimized error messages for clojure.spec

Clojure 930 22 Updated Oct 10, 2024

Inference Llama in Common Lisp

Python 47 Updated Oct 8, 2024

A runtime developer console and IRB alternative with powerful introspection capabilities.

Ruby 6,793 602 Updated Apr 21, 2025
Next