Alternatives and similar repositories for 5yearplan

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

• wc22m / ukgreen
  Files to build uk green 5 year plan
  ☆16Updated 5 years ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆150Updated 3 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated last month
• ggwilde / stachanov
  Socialism in the blockchain
  ☆12Updated 7 years ago
• LibreCybernetics / awesome-copyfarleft
  [Mirror] Upstream: https://nest.pijul.com/fabian/awesome-copyfarleft
  ☆60Updated 2 years ago
• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆30Updated 5 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated last year
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆451Updated 6 years ago
• urbit / docs
  The Urbit docs
  ☆119Updated 3 years ago
• cyborg-nomade / reignition
  Repository for the book "Reignition: Nick Land's Writings (2011-)"
  ☆26Updated 4 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆76Updated 3 weeks ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• melvinzhang / lambda-calculus-game
  ☆23Updated 3 years ago
• urbit / arvo
  ☆110Updated 5 years ago
• someodd / waffle
  Haskell Gopher Protocol TUI Client 🧇
  ☆22Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• davis68 / martian-computing
  CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign
  ☆62Updated 3 years ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 3 years ago
• cybrespace / mastodon
  !!!! OFFICIAL SOURCE RELEASE MOVED TO https://cybre.tech/cybrespace/mastodon !!!
  ☆21Updated 5 years ago
• Xe / xultybau
  Metalanguage analysis
  ☆11Updated 6 years ago
• bagnalla / holyc_mal
  Mal Lisp for TempleOS
  ☆112Updated 3 years ago
• aletheia-foundation / aletheia-app
  Alethia peer to peer publishing platform
  ☆48Updated 7 years ago
• breadtubetv / breadtubetv
  This repo is a mirror of https://gitlab.com/breadtube/
  ☆49Updated 3 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 3 months ago
• basisproject / core
  Core datastructures, logic, and algorithms for the Basis system. Doesn't deal with storage, blockchains, etc.
  ☆15Updated 4 years ago
• Alex-Linhares / FARGonautica
  ☆116Updated last month
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 6 years ago
• Fang- / Urbit-By-Doing
  A dysfunctional programmer's guide to making things in Hoon.
  ☆82Updated 5 years ago