zacque0

zacque0's Stars

• gurugio/lowlevelprogramming-university

  How to be low-level programmer

  9.8k700

• amno1/as-powerful-as-possible

  343

• melusina-org/cl-rashell

  Resilient replicant Shell Programming Library for Common Lisp

  Language:Common Lisp211

• siyuan-note/siyuan

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

  Language:TypeScript17k1.3k

• radams78/WeylPlastic

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

  1

• euslisp/EusLisp

  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 ) [マニュアル](http://euslisp.github.io/EusLisp/jmanual.html )

  Language:Common Lisp5650

• kaveh808/kons-9

  Common Lisp 3D Graphics Project

  Language:Common Lisp55532

• azzamsa/awesome-cl-software

  List of awesome application software built with Common Lisp

  31718

• uzbl/uzbl

  A web browser that adheres to the unix philosophy.

  Language:C1k157

• secfigo/Awesome-Fuzzing

  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 Development like root cause analysis.

  5.2k809

• pascalcombier/plain-common-lisp

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

  Language:Common Lisp181

• s-expressionists/wscl

  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.

  Language:TeX384

• p3r7/awesome-elisp

  🏵️ A curated list of Emacs Lisp development resources

  74232

• thu-nics/awesome_ai4eda

  25131

• ChessMax/awesome-programming-languages

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

  56944

• yallop/effects-bibliography

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

  92580

• lijwen2748/aaltaf

  SAT-based LTLf Satisfiability Checker

  Language:C++86

• namin/lisp-variations

  variations on lisp, exploring reflection

  Language:Scala101

• precog/matryoshka

  Generalized recursion schemes and traversals for Scala.

  Language:Scala80987

• mmontone/lisp-system-browser

  Smalltalk-like system browser for Common Lisp.

  Language:Emacs Lisp645

• pve1/symbolic-smalltalk-core

  Language:Common Lisp1

• PuellaeMagicae/unix-in-lisp

  Mount Unix system into Common Lisp image

  Language:Common Lisp994

• PeterTYLiu/toaster

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

  Language:TypeScript2537

• Buroni/automata-golf

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

  Language:JavaScript15

• smithzvk/modf

  A setf like macro for functional programming

  Language:Common Lisp612

• nklein/cl-reactive

  Reactive programming at the variable/function level for Common Lisp

  Language:Common Lisp316

• GPUOpen-Drivers/llvm-dialects

  LLVM Dialects Library

  Language:C++2122

• norvig/pytudes

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

  Language:Jupyter Notebook22.5k2.4k

• Zulu-Inuoe/trivial-cltl2

  Portable CLtL2

  Language:Common Lisp142

• nibbula/lish

  Lisp Shell

  Language:Common Lisp1029