Alternatives and similar repositories for reals

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

• Tsche / magic_codec
  ☆36Updated 2 months ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆70Updated 3 years ago
• catern / supervise
  A minimal unprivileged process supervisor making use of modern Linux features
  ☆68Updated 3 years ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆163Updated 5 months ago
• pschanely / contractual-semver
  Contractual Semver
  ☆27Updated 3 years ago
• briangu / klongpy
  High-Performance Klong array language in Python.
  ☆307Updated last month
• chrisgrimm / better_partial
  ☆123Updated 3 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆46Updated last month
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆68Updated 4 months ago
• tonybaloney / dissy
  A TUI disassembler
  ☆121Updated 2 weeks ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆12Updated 2 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• pfalcon / awesome-python-compilers
  Retrospective of Python compilation efforts
  ☆64Updated 3 years ago
• tekknolagi / db.py
  ☆22Updated 11 months ago
• iczelia / qbdiff
  building and applying patches to binary files
  ☆74Updated 2 weeks ago
• Z4JC / ugrapheme
  Unicode Extended grapheme clusters in nanoseconds
  ☆32Updated 9 months ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆169Updated last week
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆133Updated last week
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• iogf / eacc
  Minimalist but flexible Lexer/Parser tool in Python.
  ☆60Updated 5 years ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated 5 months ago
• thyeem / foc
  A seamless and streamlined functional tool
  ☆104Updated 2 months ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆59Updated this week
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆64Updated last month
• agiacalone / cecs-342-lab-prolog
  CECS 342 Lab 4: Logic Languages with SWI-Prolog
  ☆13Updated 3 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 8 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• leontrolski / tkintergalactic
  Modern declarative (React-like) Tcl/Tk interface for Python
  ☆90Updated 3 months ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago