Alternatives and similar repositories for APL-Skeleton

Users that are interested in APL-Skeleton are comparing it to the libraries listed below

• mthom / scryer-shen
  ☆58Updated 8 months ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 4 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆87Updated 4 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆140Updated 7 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆131Updated this week
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆51Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 13 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆200Updated 2 years ago
• deinprogramm / schreibe-dein-programm
  Schreibe Dein Programm!
  ☆40Updated 6 months ago
• videolang / video
  Source Code for Video language.
  ☆141Updated 6 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆65Updated 3 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆78Updated last year
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆83Updated 5 years ago
• mflatt / plai-typed
  ☆51Updated 3 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆167Updated last year
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆23Updated 10 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆126Updated 12 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆83Updated last year
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• vmchale / apple
  Apple array system
  ☆69Updated last month
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆45Updated 2 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 8 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated 2 years ago
• soegaard / racket-cas
  Simple computer algebra system
  ☆65Updated last year
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• rain-1 / continuations-study-group
  ☆78Updated 6 years ago