Alternatives and similar repositories for Deus

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

• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Updated 6 years ago
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆220Updated 2 weeks ago
• clerkma / ptex-ng
  Asiatic pTeX
  ☆303Updated this week
• youki-doc / youki
  The Eido Evoluted.
  ☆38Updated 8 years ago
• maTHmU / nV
  ☆41Updated 8 years ago
• qinglee / GEB
  Gödel, Escher, Bach: an Eternal Golden Braid
  ☆88Updated 3 years ago
• Cm-lang / Cmc
  the compiler for the Cm programming language
  ☆31Updated 8 years ago
• oovm / Geass
  ☆58Updated 7 years ago
• Tlaster / ProjectAsahi
  Original galgame engine for windows 10
  ☆17Updated 10 years ago
• ice1000 / Books
  My slides and notes
  ☆140Updated 2 years ago
• SuperSodaSea / Corecat
  Corecat: Core library
  ☆21Updated 7 years ago
• MarisaKirisame / resume
  ☆47Updated last year
• maTHmU / MTCAS
  Mathematica Theory of Computer Algebra System
  ☆121Updated 10 years ago
• thautwarm / Traffy.UnityPython
  An efficient Python implementation in C#, running on every platform via Unity IL2CPP.
  ☆44Updated 3 years ago
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆49Updated 3 months ago
• FrankHB / YEGE
  Yet another EGE library
  ☆23Updated 2 years ago
• AlephAlpha / LifeFind
  A simple and naïve Game of Life pattern searcher written in Wolfram Language. 用 Mathematica 搜索生命游戏中的图样。
  ☆15Updated 6 years ago
• thautwarm / EBNFParser
  Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).
  ☆65Updated 7 years ago
• ice1000 / algo4j
  An algorithm library using java native interface
  ☆67Updated 6 years ago
• oovm / StyleGAN-Zoo
  ☆71Updated 5 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆41Updated 7 years ago
• akemimadoka / GC
  ☆12Updated 4 years ago
• maTHmU / mU
  Core Interpreter of maTHmU CAS
  ☆67Updated 8 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 6 years ago
• lingaoqiming / lingaoqiming.github.com
  小说《临高启明》网站，可以共享式编辑
  ☆111Updated 8 years ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆359Updated 8 months ago
• ice1000 / learn
  codes written while learning them.
  ☆47Updated 5 years ago
• SuperSodaSea / Textcat
  Textcat: Text data processing library
  ☆18Updated 7 years ago
• MarisaKirisame / first_order_logic_prover
  ☆60Updated 7 years ago
• jsk-record / jsk-record
  计蒜客软工外包事件记录
  ☆38Updated 5 years ago