Skip to content
View zacque0's full-sized avatar

Block or report zacque0

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

Starred repositories

Showing results

Must read research papers and links on quantum compiler and system

66 Updated Oct 29, 2024

How to be low-level programmer

10,367 724 Updated Sep 16, 2024

Resilient replicant Shell Programming Library for Common Lisp

Common Lisp 21 1 Updated Jul 29, 2024

A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.

TypeScript 22,613 1,595 Updated Nov 14, 2024

Weyl's /Das Kontinuum/ formalised in the proof assistant Plastic

1 Updated Sep 4, 2016

EusLisp is an integrated programming system for the research on intelligent robots based on Common Lisp and Object-Oriented programming. [Manual](http://euslisp.github.io/EusLisp/manual.html ) [マニュ…

Common Lisp 56 50 Updated Apr 20, 2024

Common Lisp 3D Graphics Project

Common Lisp 583 33 Updated Nov 13, 2023

List of awesome application software built with Common Lisp

330 19 Updated Sep 17, 2024

A web browser that adheres to the unix philosophy.

C 1,023 155 Updated Dec 28, 2018

A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Develo…

5,345 813 Updated Apr 3, 2024

A trivial way to get a native Common Lisp environment on Windows

Common Lisp 20 1 Updated Apr 4, 2024

Sources of the "Well Specified Common Lisp" specification which is based on the final draft of the Common Lisp standard but is not a new Common Lisp standard.

TeX 38 4 Updated Jun 25, 2024

🏵️ A curated list of Emacs Lisp development resources

771 33 Updated Nov 9, 2024

The list of awesome programming languages that you might be interested in.

Markdown 639 48 Updated Oct 10, 2024

A collaborative bibliography of work related to the theory and practice of computational effects

969 81 Updated Oct 30, 2024

SAT-based LTLf Satisfiability Checker

C++ 8 6 Updated Aug 18, 2022

variations on lisp, exploring reflection

Scala 10 1 Updated Dec 31, 2023

Generalized recursion schemes and traversals for Scala.

Scala 811 87 Updated Apr 1, 2020

Smalltalk-like system browser for Common Lisp.

Emacs Lisp 66 5 Updated Sep 10, 2022
Common Lisp 1 Updated Aug 9, 2023

Mount Unix system into Common Lisp image

Common Lisp 145 7 Updated Sep 23, 2024

3D editor for modelling in pure CSS+HTML; no canvas, no WebGL

TypeScript 258 6 Updated Jan 31, 2024

A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.

JavaScript 15 Updated May 22, 2023

A setf like macro for functional programming

Common Lisp 63 2 Updated Aug 1, 2020

Reactive programming at the variable/function level for Common Lisp

Common Lisp 35 6 Updated Jan 16, 2023

LLVM Dialects Library

C++ 22 23 Updated Oct 31, 2024

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Jupyter Notebook 23,140 2,434 Updated Oct 28, 2024

Portable CLtL2

Common Lisp 15 2 Updated Dec 12, 2021
Next