Alternatives and similar repositories for PDFS

Users that are interested in PDFS are comparing it to the libraries listed below

• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆33Updated last year
• racket / plot
  ☆43Updated 2 months ago
• scheme / edwin48
  MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH
  ☆42Updated 8 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆45Updated last week
• racket / math
  ☆38Updated 2 months ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• LdBeth / star-lisp
  A *LISP emulator
  ☆35Updated 5 years ago
• Metaxal / bazaar
  My personal Racket library of useful or generic commands
  ☆11Updated 5 months ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆33Updated last year
• johnwcowan / r7rs-spec
  ☆17Updated last year
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated last week
• wedesoft / aiscm
  Guile numerical arrays and tensor extension
  ☆54Updated 5 months ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• jmbr / maxima-interface
  Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface
  ☆18Updated 2 years ago
• jazzscheme / jedi
  Programmable IDE for the Lisp family of languages.
  ☆20Updated 10 months ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago
• malisper / Clamp
  Common Lisp with Arc Macros and Procedures
  ☆75Updated 9 years ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆16Updated 2 years ago
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆64Updated 14 years ago
• thephoeron / black-stone
  Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers
  ☆70Updated 8 years ago
• triska / ediprolog
  Emacs Does Interactive Prolog
  ☆41Updated 9 months ago
• hinkelman / dataframe
  A dataframe library for Scheme (R6RS)
  ☆24Updated 3 weeks ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago