Alternatives and similar repositories for DMFO

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

• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆44Updated 6 months ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 9 years ago
• breck7 / leafdb.org
  A public domain database about trees.
  ☆16Updated last year
• Orange-OpenSource / pandoc-terminal-writer
  Pretty-print text documents on a terminal using pandoc
  ☆39Updated 5 years ago
• Rajeev-K / eureka
  Lucene-based search engine for your source code
  ☆14Updated 2 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated last month
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆28Updated 3 years ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆15Updated 4 years ago
• speedata / examples
  speedata Publisher examples
  ☆29Updated last month
• christiangoltz / shaape
  Shaape is an ascii art to image converter designed to be used with asciidoc.
  ☆109Updated 11 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• sile-typesetter / casile
  The CaSILE toolkit, a book publishing workflow employing SILE and other wizardry.
  ☆69Updated 2 weeks ago
• pannous / angle
  ⦠ Angle: new speakable syntax for python 💡
  ☆132Updated last year
• ethz-asl / libfactplusplus
  FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.
  ☆12Updated 9 years ago
• stereobooster / wisp
  Mirror of https://hg.sr.ht/~arnebab/wisp
  ☆15Updated 4 years ago
• hylang / hyrule
  A utility library for Hy
  ☆58Updated this week
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆27Updated last year
• t2y / pytest-quickcheck
  ☆15Updated 3 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated 2 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 years ago
• CDSoft / upp
  UPP is a minimalist and generic text preprocessor using Lua macros.
  ☆13Updated last year
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 3 years ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated last week
• volution / simple-console-editor
  sce -- minimalist console editor (no highlighting, no plugins, no modes, no Emacs)
  ☆14Updated last year
• delph-in / docs
  DELPH-IN Documentation
  ☆29Updated last week
• Anniepoo / declswiplweb
  End to end declarative web programming with no JS using htmx and SWI-Prolog
  ☆13Updated 5 years ago
• zen747 / pyscm
  A python framework base on David Harel's statecharts (SCXML).
  ☆16Updated 4 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆18Updated 3 months ago
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆46Updated last year