Alternatives and similar repositories for Polygen

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

• micheleriva / CadregaLisp
  🍎 Just another useless programming language, but with inganno.
  ☆37Updated 6 years ago
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 3 years ago
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆24Updated last year
• sgimenez / laby
  Learn programming, playing with ants and spider webs ;-)
  ☆98Updated 2 years ago
• simonmichael / ZWiki
  A featureful wiki engine based on Zope 2
  ☆20Updated 2 years ago
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆51Updated 8 months ago
• 0x0f0f0f / gobba
  A purely functional dynamically typed programming language.
  ☆56Updated 4 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆24Updated 3 months ago
• avimehenwal / git-insight
  beautified github like insights right on your terminal emulator
  ☆28Updated 3 years ago
• begriffs / utofu
  Unicode Trust on First Use (TOFU)
  ☆28Updated 6 years ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 5 months ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• robur-coop / caldav
  Calendar server (CalDAV, RFC 4791) implementation in OCaml
  ☆60Updated 2 months ago
• mirage / ezjsonm
  An easy interface on top of the Jsonm library.
  ☆42Updated 2 months ago
• olleharstedt / pholyglot
  Experiment with PHP+C polyglot snippets and a transpiler written in OCaml
  ☆20Updated last year
• dbuenzli / mu
  Declarative music for OCaml (unreleased)
  ☆27Updated last year
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆34Updated last year
• rd235 / cado
  CADO: Capability DO (like a sudo providing users with just the capabilities they need)
  ☆43Updated 5 months ago
• jubnzv / moonsmith
  A random generator of Lua programs
  ☆11Updated 3 years ago
• sternenseemann / spacecookie
  gopher library & server written in Haskell
  ☆46Updated last month
• Fourchaux / ocaml-stdlib-containers-batteries-base-comparisons
  Core functions comparison
  ☆8Updated 4 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 7 months ago
• someodd / waffle
  Haskell Gopher Protocol TUI Client 🧇
  ☆22Updated last year
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• mirage / mrmime
  What do you mean?
  ☆44Updated 3 months ago
• 2-3 / polkadot
  A lightweight personal wiki in Racket
  ☆19Updated 8 years ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆42Updated 8 years ago
• sternenseemann / logbook
  A tool for keeping a personal log
  ☆16Updated 5 months ago
• tsgouros / www-shrdlu
  A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.
  ☆33Updated 10 years ago
• lecram / congif
  convert script(1) output to GIF
  ☆53Updated 4 years ago