Alternatives and similar repositories for reals

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

• Tsche / magic_codec
  ☆37Updated last month
• catern / supervise
  A minimal unprivileged process supervisor making use of modern Linux features
  ☆68Updated 4 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆51Updated 6 months ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆78Updated 3 years ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆26Updated last year
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆68Updated last month
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆77Updated 2 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆70Updated 9 months ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 3 months ago
• pschanely / contractual-semver
  Contractual Semver
  ☆28Updated 3 years ago
• chrisgrimm / better_partial
  ☆123Updated 3 years ago
• briangu / klongpy
  High-Performance Klong array language in Python.
  ☆311Updated last week
• tonybaloney / dissy
  A TUI disassembler
  ☆121Updated 5 months ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆167Updated 10 months ago
• Z4JC / ugrapheme
  Unicode Extended grapheme clusters in nanoseconds
  ☆36Updated last year
• thyeem / foc
  A seamless and streamlined functional tool
  ☆104Updated 7 months ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated last month
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆81Updated 2 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆34Updated 7 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 2 weeks ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆153Updated this week
• xpqz / kbook
  [WIP] A book on the k language.
  ☆50Updated 3 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆78Updated 2 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• Ericson2314 / baccumulation
  ☆44Updated 2 months ago