Alternatives and similar repositories for guile:

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

• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• thautwarm / DIO.jl
  Julia implementation for Python Restrain JIT
  ☆22Updated 4 years ago
• lathe / parendown-for-racket
  A weak opening parenthesis for Racket, good for eliminating indentation.
  ☆13Updated last month
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆40Updated this week
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆25Updated 8 months ago
• LdBeth / CLFSWM
  Common Lisp Full Screen Window Manager
  ☆30Updated 4 years ago
• guenchi / Matplotlib
  Matplotlib for Chez Scheme
  ☆24Updated 5 years ago
• manateelazycat / flex
  It's a mode for flex files that provide better syntax highlight than flex-mode.el
  ☆9Updated 5 years ago
• mgubi / tm-jupyter
  A Jupyter client for TeXmacs
  ☆9Updated 3 years ago
• wbhart / comb
  Combinators in C
  ☆38Updated 12 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated last week
• jhidding / scam
  Create publication quality 3D graphics using GNU Guile and cairo.
  ☆20Updated 4 years ago
• pnathan / pp-toml
  Paul's Parser for Tom's Own Minimal Language
  ☆19Updated 2 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆18Updated 3 weeks ago
• xieyuheng / inner
  Ones Inner Universe.
  ☆5Updated this week
• plops / cl-cpp-generator2
  Common Lisp s-expression code generator for C and C++ like languages. Examples for generating Cuda and Vulkan code.
  ☆35Updated this week
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• calebegg / proof-pad
  A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
  ☆10Updated 9 months ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆15Updated 2 years ago
• rljacobson / MathLine
  A textual front end to Mathematica.
  ☆12Updated 5 years ago
• olivermg / owlisp
  A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)
  ☆26Updated 10 years ago
• johnwcowan / r7rs-spec
  ☆16Updated last year
• XmacsLabs / lolly
  lolly: A user-friendly C++ library
  ☆11Updated 4 months ago
• higham / companion-applied-mathematics-bib
  BibTeX bibliography for The Princeton Companion to Applied Mathematics.
  ☆10Updated 9 years ago
• pivaldi / asymptote-packages
  Personal packages for http://asymptote.sourceforge.net/
  ☆8Updated last month
• rain-1 / tarot-compiler
  ☆18Updated 5 years ago
• roswell / ecl
  mirror of ecl from gitlab
  ☆17Updated 4 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago