Skip to content

mariari/Misc-Lisp-Scripts

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Misc Lisp Scripts

This is just a bunch of Miscellaneous code I’ve played around with. the asd file loads functions that are important to other functions in the project, for example finger-tree.lisp relies on lazy-struct which relies on lazy-list which the asd file loads for you

Some notable files are

  1. CL/stdlib/ - This is a collection of functions that augment the Common Lisp language
    • struct - This module currently includes a lazy-struct macro that injects lazy semantics into struct definitions
    • ref - This provides ML like references to CL, this gets auto loaded into the name space in the asd
    • lazy - defines lazy semantics for CL
    • lazy-cons - defines a lazy list data structure
  2. data-structures - this has a few data structures I’ve decided to make
    • finger-tree - defines a full fledged finger tree for use from the paper seen here
    • state - the state monad
    • reader - the reader monad
    • functor-applicative-monad - this defines a bunch of abstraction methods and some derived forms.
  3. first-class-modules - This is an experiment to see how well CL’s first class module system works. It translates the Real World Ocaml chapter. When a future project gets done, this should get a whole lot less awkward.
  4. threadtest - parallel mapcar, and a S! macro that injects thread locking to a critical section of code
  5. numberConverter - a simple little program that converts numbers to different redixes, made when I was first learning lisp
  6. cache-fstar-source - a simple script which recursively creates caches of verified F files.
    • Useful for verifying the standard library, or one’s own standard library
  7. book-adapations - some adapations from books written in other languages
  8. Class - Code I wrote while I was in University, the interesting files will be noted in the inner README

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published