{"id":13539221,"url":"https://github.com/prathyvsh/pl-catalog","last_synced_at":"2026-02-06T13:37:28.527Z","repository":{"id":44879970,"uuid":"279304107","full_name":"prathyvsh/pl-catalog","owner":"prathyvsh","description":"A catalog of programming languages","archived":false,"fork":false,"pushed_at":"2025-05-19T04:53:21.000Z","size":2205,"stargazers_count":772,"open_issues_count":8,"forks_count":23,"subscribers_count":22,"default_branch":"master","last_synced_at":"2025-05-19T05:35:14.317Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/prathyvsh.png","metadata":{"files":{"readme":"readme.org","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null}},"created_at":"2020-07-13T13:01:45.000Z","updated_at":"2025-05-19T04:53:25.000Z","dependencies_parsed_at":"2024-02-03T22:34:34.320Z","dependency_job_id":"1f800364-7f93-4cca-9b15-8b3b83e2178d","html_url":"https://github.com/prathyvsh/pl-catalog","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/prathyvsh/pl-catalog","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prathyvsh%2Fpl-catalog","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prathyvsh%2Fpl-catalog/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prathyvsh%2Fpl-catalog/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prathyvsh%2Fpl-catalog/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/prathyvsh","download_url":"https://codeload.github.com/prathyvsh/pl-catalog/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prathyvsh%2Fpl-catalog/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":266590772,"owners_count":23952997,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-07-22T02:00:09.085Z","response_time":66,"last_error":null,"robots_txt_status":null,"robots_txt_updated_at":null,"robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-08-01T09:01:21.972Z","updated_at":"2026-02-06T13:37:28.479Z","avatar_url":"https://github.com/prathyvsh.png","language":null,"funding_links":[],"categories":["Others","Uncategorized","Other lists with links"],"sub_categories":["Uncategorized"],"readme":"* Programming Languages for Enthusiasts\n\n[[./cover-art.png]]\n\nA catalogue of languages, environments, and tooling around them. Feel free to send a PR if I am missing some cool indie projects here. If you find this catalog interesting, I am tweeting updates to this repo linking the work of the awesome developers behind these programming languages: https://twitter.com/prathyvsh/status/1353399062758891523\n\nIf you are an indie language author and would like to feature your language here, add the language in lexicographic order and send a PR. It would be great if you can link to your language’s logo, documentation page, and preferrably a playground where users can interact with the language before installing it locally.\n\n* Languages\n\n** [[https://arend-lang.github.io/][Arend]]\n\n#+BEGIN_HTML\n\n\u003cimg src=\"./img/arend.png\" width=\"300px\" /\u003e\n\n#+END_HTML\n\nArend is a theorem prover based on its own take on Constructive Homotopy Type Theory (with an Interval Type) developed independently and in parallel to Cubical Type Theories. It natively supports higher inductive types, a version of cubical syntax and tight integration with IntelliJ IDEA IDE.\n\n- Repo: https://github.com/JetBrains/Arend\n- An official tutorial: https://arend-lang.github.io/documentation/tutorial\n- And another tutorial from one of the (former) contributors: https://ice1000.org/2020/05-14-ArendLittleIntro.html\n\n** [[https://www.assemblyscript.org/][AssemblyScript]]\n\n#+BEGIN_HTML\n\n\u003cimg src=\"https://avatars1.githubusercontent.com/u/28916798\" width=\"100px\" /\u003e\n\n#+END_HTML\n\n\"A TypeScript-like language for WebAssembly.\"\n\nAssemblyScript inherits basic TypeScript syntax but leaves out all of complex type features. On the other hand AssemblyScript type system is completely mandatory and strict (no Any or Unknown types) thus guiding compiler optimizations. Speaking of which, AssemblyScript employs [[http://webassembly.github.io/binaryen/][Binaryen]] as a compiler back-end implementing its own specific optimizations on top of it. In addition to that it features three options for a run-time system ranging from no run-time at all with completely manual memory management to an advanced GC that still supports manual triggering. Not mentioning hand-crafted standard library implementing state-of-the-art numerical and sorting algorithms. :)\n\n** [[http://arturo-lang.io/][Arturo]]\n\nRepo: https://github.com/arturo-lang/arturo\nSimple, modern and powerful interpreted programming language for efficient scripting.\n\n** [[https://www.beeflang.org/][Beef]]\n[[https://raw.githubusercontent.com/beefytech/Beef/master/IDE/screenshot0.gif]]\n\nA performance-oriented language designed to provide high level ergonomics suitable for game development.\n\n** [[https://github.com/pepijndevos/bobcat][Bobcat]]\nA concatenative language for behavior trees\n\n** [[https://github.com/mukul-rathi/bolt][Bolt]]\nBolt is a language with in-built data-race freedom!\n\n\nAccompanying dissertation is available [[https://github.com/mukul-rathi/bolt-dissertation][here]].\n\nand the blog post on making it [[https://mukulrathi.netlify.app/create-your-own-programming-language/intro-to-compiler/][here]]\n\n** [[https://github.com/boomerang-lang/boomerang][Boomerang]]\n\n#+BEGIN_HTML\n\n\u003cimg src=\"./img/boomerang.png\" width=\"300px\" /\u003e\n\n#+END_HTML\n\nBoomerang is a programming language for writing bidirectional transforms using lenses. It can be thought of as providing a setting for describing computations from left to right as functions mapping inputs to outputs and from right to left as describing a function that describes a modified output, together with the original input, back to a modified input.\n\nWebsite: https://www.seas.upenn.edu/~harmony/\n\n** [[https://caramel.run][Caramel]]\n\nA functional language for building type-safe, scalable, and maintainable applications.\nUses the OCaml compiler and targets the Erlang VM.\n\n** [[https://github.com/CatalaLang/catala][Catala]]\nCatala is a programming language adapted for socio-fiscal legislative literate programming. By annotating each line of the legislative text with its meaning in terms of code, one can derive an implementation of complex socio-fiscal mechanisms that enjoys a high level of assurance regarding the code-law faithfulness.\n\n[[Catala Logo][https://raw.githubusercontent.com/CatalaLang/catala/master/doc/images/logo.png]]\n\n[[Catala Screenshot][https://raw.githubusercontent.com/CatalaLang/catala/master/doc/images/ScreenShotVSCode.png]]\n\nWebsite: https://catala-lang.org/\n\n** [[https://github.com/coalton-lang/coalton][Coalton]]\n\n[[https://raw.githubusercontent.com/coalton-lang/coalton/main/docs/assets/coalton-logotype-gray.svg]]\n\nCoalton is an efficient, statically typed functional programming language that supercharges Common Lisp.\n\n\n** [[https://github.com/dafny-lang/dafny][Dafny]]\nDafny is a programming language with a program verifier. As you type in your program, the verifier constantly looks over your shoulders and flags any errors.\n\n** [[https://github.com/darklang/][Dark]]\n\n[[./img/darklang.gif]]\n\nDark, a combined language, editor, and infrastructure to make it easy to build backends.\n\nWebsite: https://darklang.com/\nDev Blog: https://blog.darklang.com/\n\n** [[https://github.com/google-research/dex-lang][Dex Lang]]\nResearch language for array processing in the Haskell/ML family\n\n** [[https://github.com/ditto/ditto][Ditto]]\nA Super Kawaii Dependently Typed Programming Language\n\n\n** [[https://github.com/egison/egison][Egison]]\nEgison is a functional programming language featuring its expressive pattern-matching facility.\n\n** [[https://www.empirical-soft.com][Empirical]]\n\nEmpirical is a language for time-series analysis. It has statically typed Dataframes that can infer type from an external source at compile time.\n\n** [[https://github.com/enso-org/][Enso]]\n\n[[./img/enso.gif]]\n\nA hybrid visual and textual functional programming language.\n\nThey keep a dev diary on Medium: https://medium.com/@enso_org/enso-dev-blog-18th-december-2020-e51e11c02c66\n\n** [[https://github.com/felix-lang/felix][Felix]]\nAn advanced, statically typed, high performance scripting language with native C++ embedding.\n\n** [[https://github.com/robrix/facet][Facet]]\nA call-by-value functional language with algebraic effects, runners, quantitative type theory, and staging\n\n** [[https://github.com/chaosprint/glicol][Glicol]]\n\n[[./img/glicol.png]]\n\nA graph-oriented live coding language written in Rust.\n\nWebsite: https://glicol.org\n\n** [[https://github.com/ffwff/hana][Hana]]\nA small dynamically-typed scripting language written in Rust/C and is inspired by Pascal, Ruby and Javascript.\n\n** [[https://github.com/imba/imba][Imba]]\n[[https://github.com/imba/branding-imba/raw/555b21940fa796fbf0eed44df48160d450ca894b/mascot/mascot-full-yellow.png]]\n\nImba is a friendly full-stack programming language for the web that compiles to performant JavaScript. It has language-level support for defining, extending, subclassing, instantiating and rendering DOM nodes.\n\nWebsite: [[https://imba.io/]]\n\n** [[https://github.com/jamii/imp][Imp]]\nRelational Programming Environment.\n\nImp by Jamie Brandon is envisioned to be a programming environment for working with structured data across multiple platforms blurring the lines between a programming language and a database.\n\nIt is still in an experimental phase, but already home to a few cool ideas. Read about it here: https://scattered-thoughts.net/writing/imp-intro/\n\n** [[https://dotink.co/docs/overview/][Ink]]\nInk is a minimal programming language inspired by modern JavaScript and Go, with functional style.\n\nRepo: https://github.com/thesephist/ink\n\n** [[https://github.com/samrushing/irken-compiler][Irken]]\nIrken is a strongly typed, compiled language with a lisp-like syntax extensible with macros.\nIt uses type inference along with a powerful type system to give you the speed of a compiled language with high-level data types and a higher degree of safety than languages like C/C++.\n\n** [[https://ngs-lang.org/][Next Generation Shell]]\n\nNGS is a programming language designed specifically for DevOps. It's a fully fledged programming language with facilities for typical shell scripting: running external programs (including handling of exit codes), data manipulation, retry, etc.\n\nRepo: https://github.com/ngs-lang/ngs\n\n#+BEGIN_HTML\n\n\u003cimg src=\"https://ngs-lang.org/ngs-logo-300.png\" /\u003e\n\n#+END_HTML\n\n** [[https://scopes.js.org/][Scopes]]\nThe Scopes programming language takes the saying \"Objects are a poor man's closures\" (and its reverse, \"Closures are a poor man's objects\") seriously.\n\n** [[https://github.com/dmadisetti/sona.js][sona]]\nThe sona programming language is a 14 token language with a ~ minimal (1000 character) interpreter. It is based on and in the minimal (140 words) natural constructed language [[https://tokipona.org][toki pona]] created by Sonja Lang. The design inspiration comes from assembly for simplicity. A sona playground is availible on [[https://observablehq.com/@dmadisetti/sona][Observable]].\n#+BEGIN_HTML\n\n\u003cimg src=\"./img/sona.png\" width=\"400px\" /\u003e\n\n#+END_HTML\n\n** [[https://github.com/souffle-lang/souffle][Souffle]]\nSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.\n\n** [[https://github.com/vtereshkov/umka-lang][Umka]]\nUmka is a statically typed embeddable scripting language. It combines the simplicity and flexibility needed for scripting with a compile-time protection against type errors. Its aim is to follow the Python Zen principle /Explicit is better than implicit/ more consistently than dynamically typed languages generally do.\n\n#+BEGIN_HTML\n\n\u003cimg src=\"./img/umka.png\" width=\"800px\" /\u003e\n\n#+END_HTML\n\n** [[https://github.com/urweb/urweb][Ur/Web]]\nUr is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically typed, and strict. Ur supports a powerful kind of metaprogramming based on row types.\n\n** [[https://github.com/elves/elvish][Elvish]]\nFriendly Interactive Shell and Expressive Programming Language\n\n** [[https://suberic.net/~dmm/projects/mystical/README.html][Mystical]]\n\n[[./img/mystical.png]]\nA mythical looking programming language\n\n** [[https://github.com/catseye/Mascarpone][Mascarpone]]\nMascarpone is a self-modifying programming language in the style of Emmental.\n\n** [[https://github.com/pikelet-lang/pikelet/][Pikelet]]\n[[Pikelet Logo][https://raw.githubusercontent.com/pikelet-lang/pikelet/main/book/assets/pikelet.png]]\n\nA friendly little systems language with first-class types.\n\nSome of Brendan’s thoughts on evolving Pikelet can be read here:\nhttps://gist.github.com/brendanzab/eba7015e6345abe79a57a704091820bb/\n\n** [[https://github.com/teyjus/teyjus][Teyjus]]\nAn efficient implementation of the higher-order logic programming language Lambda Prolog\n\n** [[https://github.com/opencypher/][Open Cypher]]\nA declarative property graph query language\n\n** [[https://github.com/ballesta25/Morpheus][Morpheus]]\nA stack-based programming language with derivational morphemes\n\n** [[https://github.com/hamler-lang/][Hamler]]\n\n#+BEGIN_HTML\n\u003cimg src=\"https://camo.githubusercontent.com/174524f57c5ba4439286566213264242a6e4c9869cc8f8ddfd6027f585be3e3f/68747470733a2f2f7777772e68616d6c65722d6c616e672e6f72672f696d616765732f68616d6c65724032782e706e67\" /\u003e\n\n#+END_HTML\n\nHaskell-style functional programming language running on Erlang VM\n\n** [[http://objective.st/][Objective-S]]\n\n#+BEGIN_HTML\n\n\u003cimg src=\"http://objective.st/objst.png\" width=50px /\u003e\n\n#+END_HTML\n\nObjective-S is an architecture-oriented programming language inspired by Smalltalk, Objective-C, the UNIX shell\nand the web.\n\n** [[https://github.com/orion-lang/orion/][Orion]]\n\n#+BEGIN_HTML\n\n\u003cimg src=\"https://raw.githubusercontent.com/orion-lang/orion/master/assets/orion-logo.png\" width=100px /\u003e\n\n#+END_HTML\n\nOrion is a high level, purely functional programming language with a LISP based syntax\n\n** [[https://loda-lang.org/][Loda]]\n\n#+BEGIN_HTML\n\n\u003cimg src=\"./img/loda-logo.png\" width=\"100px\" /\u003e\n\n#+END_HTML\n\n#+BEGIN_HTML\n\n\u003cimg src=\"https://raw.githubusercontent.com/loda-lang/loda-lang.github.io/master/loda-editor.png\" /\u003e\n\n#+END_HTML\n\nLODA is an assembly language, a computational model and a distributed tool for mining integer sequences.\n\n\nRepo: https://github.com/loda-lang\n\n** [[https://lys-lang.dev][Lys]]\n\n#+BEGIN_HTML\n\n\u003cimg src=\"https://user-images.githubusercontent.com/260114/54724904-c7e7d300-4b4b-11e9-8bbd-ec3f9044c86e.png\" width=\"100px\" /\u003e\n\n#+END_HTML\n\n** [[https://github.com/batman-nair/IRCIS][IRCIS]]\n\n[[Logo of IRCIS][https://raw.githubusercontent.com/batman-nair/IRCIS/master/screencaps/banner.png]]\n\n[[https://raw.githubusercontent.com/batman-nair/IRCIS/master/screencaps/factors.gif]]\n\nIRCIS is an esoteric programming language where the program exists in a two-dimensional grid of cells, where each cell contains a single instruction, and execution can proceed in any cardinal direction across this grid -- not just left-to-right, but also right-to-left, top-to-bottom, and bottom-to-top.\n\n** [[https://github.com/wasp-lang/wasp][Wasp]]\n\n[[./img/wasp.png]]\n\nWasp (Web Application Specification Language) is a declarative DSL (domain-specific language) for developing, building and deploying modern full-stack web apps with less code.\n\nWebsite: https://wasp-lang.dev/\n\n** [[https://github.com/jckarter/clay][Clay]]\nClay is a programming language designed for Generic Programming.\n\n** [[https://github.com/jameshaydon/lawvere][Lawvere]]\nA categorical programming language with effects\n\n** [[https://github.com/alantech/alan][Alan]]\nAlan is a programming language that does concurrency for you and can thus separate how the software is written from how it runs\n\n** [[https://github.com/ponylang/ponyc][Pony]]\n\n[[Pony Logo][https://www.ponylang.io/images/logo.png]]\n\nPony is an open-source, actor-model, capabilities-secure, high performance programming language.\n\nA post on the history of the language: https://www.ponylang.io/blog/2017/05/an-early-history-of-pony/\n\nA collection of talks on the language is available here: https://codesync.global/media/top-10-pony-lang-talks/\n\n** [[https://wiki.xxiivv.com/site/lain.html][Lain]]\n\n[[./img/lain.png]]\n\nLain is a Lisp based templating and scripting language used at Devin Lin Luvega’s website XXIIVV\n\nAn image editor called Ronin is also based on the same language: https://100r.co/site/ronin.html\n\n** [[https://github.com/jcubic/lips][Lips]]\nScheme based powerful lisp language in JavaScript\n\n** [[https://futhark-lang.org][Futhark]]\n\nA high-performance data-parallel functional programming language targeting CUDA and OpenCL. Features limited dependent types to track array dimentions, uniquness typing for local in-place mutation and a Standard ML-style module system with parametric modules. The compiler is implemented in Haskell.\n\nGitHub repository: https://github.com/diku-dk/futhark\n\n** [[https://github.com/slerpyyy/paste-lang][Paste Lang]]\n[WIP] An esoteric programming language build around macros.\n\n** [[https://github.com/frank-lang/frank][Frank]]\nFrank is a strict, effectful functional programming language with a bidirectional type-and-effect system and effect handlers\n\n** [[http://www.attoparsec.com/artifacts/gottlob/index.html][Gottlob]]\n[[http://www.attoparsec.com/artifacts/gottlob/images/functions.png]]\n\nGottlob is an esoteric language which tries to match Frege's notation in [[https://en.wikipedia.org/wiki/Begriffsschrift][Begriffsschrift]] as closely as possible.\n\n** [[https://github.com/koka-lang/koka][Koka]]\n\n#+BEGIN_HTML\n\u003cimg width=\"150px\" src=\"https://koka-lang.github.io/koka/doc/images/koka-logo-filled.png\" /\u003e\n\u003cbr /\u003e\n\u003cimg width=\"300px\" src=\"https://raw.githubusercontent.com/koka-lang/koka/master/doc/snippet-yield.png\" /\u003e\n#+END_HTML\n\nKoka: a function-oriented language with effect inference\n\nI encountered Koka when researching about algebraic effects. Papers from Daan Leijen on its semantics and technical details are available here: https://www.microsoft.com/en-us/research/project/koka/\n\n** [[https://github.com/red/red][Red]]\nRed is a new programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting, while providing modern support for concurrency and multi-core CPUs.\n\n** [[https://github.com/moonad/FormCoreJS][FormCoreJS]]\nA minimal pure functional language based on self dependent types.\n\n** [[https://github.com/granule-project/gerty][Gerty]]\nA minimal, dependently-typed programming language\n\n** [[https://github.com/marcobambini/gravity][Gravity]]\nGravity is a powerful, dynamically typed, lightweight, embeddable programming language written in C without any external dependencies (except for stdlib). It is a class-based concurrent scripting language with modern Swift-like syntax.\n\n** [[https://github.com/ballerina-platform/ballerina-lang][Ballerina]]\nBallerina is an open source programming language and platform for cloud-era application programmers to easily write software that just works.\n\n** [[https://github.com/gluon-lang/gluon][Gluon]]\nA static, type inferred and embeddable language written in Rust.\n\n** [[https://github.com/flix/flix][Flix]]\n\n[[https://raw.githubusercontent.com/flix/flix/master/docs/logo.png]]\n\nFlix is a principled poly-paradigm language with polymorphic effect system and first class datalog constraints.\n\nWebsite: https://flix.dev\n\n** [[https://github.com/gleam-lang/gleam][Gleam]]\nA statically typed language for the Erlang VM\n\n** [[https://github.com/astrolang/astro][Astro]]\nA fun safe language for rapid prototyping and high performance applications\n\n** [[https://github.com/wyvernlang/wyvern][Wyvern]]\nWyvern is a new general-purpose programming language designed to support adaptation and assurance.\n\n** [[https://github.com/slovnicki/pLam][pLam]]\nAn interpreter for learning and exploring pure λ-calculus\n\n** [[https://github.com/topshell-language/topshell][TopShell]]\nPurely functional, reactive scripting language\n\n** [[https://github.com/FStarLang/FStar][FStar]]\nVerification system for effectful programs\n\n** [[https://github.com/jeffreyguenther/shiro][Shiro]]\nAuthor: Jeffrey Guenther\n\nA declarative, dataflow programming language for exploring alternatives\n\nThesis: http://summit.sfu.ca/system/files/iritems1/17048/etd9968_JGuenther.pdf\n\n** [[https://github.com/agda/agda][Agda]]\nAgda is a dependently typed programming language / interactive theorem prover.\n\n** [[https://github.com/polyml/polyml][PolyML]]\nThe Poly/ML implementation of Standard ML.\n\n** [[https://github.com/factor/factor][Factor]]\n\n#+BEGIN_HTML\n\u003cimg width=\"150px\" src=\"https://factorcode.org/logo.png\" /\u003e\n\u003cimg width=\"300px\" src=\"https://factorcode.org/factor-macosx.png\" /\u003e\n#+END_HTML\n\nFactor is a concatenative, stack-based programming language with high-level features including dynamic types, extensible syntax, macros, and garbage collection. On a practical side, Factor has a full-featured library, supports many different platforms, and has been extensively documented.\n\n** [[https://github.com/evincarofautumn/kitten][Kitten]]\n\n[[http://kittenlang.org/logo.png]]\n\n[[./img/kitten.png]]\n\nA statically typed concatenative systems programming language.\n\n** [[https://github.com/CakeML/cakeml][CakeML]]\nA Verified Implementation of ML\n\n** [[https://github.com/zeroflag/punyforth][PunyForth]]\n\n#+BEGIN_HTML\n\u003cimg width=\"300px\" src=\"https://raw.githubusercontent.com/zeroflag/punyforth/master/screenshot/helloworld.png\" /\u003e\n#+END_HTML\n\nA simple, stack-based, Forth inspired programming language that primarily targets Internet of Things (IOT) devices, like the ESP8266.\n\n** [[https://www.play-lang.dev/][Play]]\nA small, portable language, for making reliable applications\n\n** [[https://github.com/cedille/cedille][Cedille]]\nCedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations\n\n** [[https://github.com/rntz/datafun][DataFun]]\nResearch on integrating datalog \u0026 lambda calculus via monotonicity types.\n\nPaper on the underlying theory: http://www.rntz.net/files/tones.pdf\n\n** [[https://github.com/jondgoodwin/cone][Cone]]\nCone is a fast, fit, friendly, and safe systems programming language.\n\n** [[https://github.com/zesterer/atto][Atto]]\nAn insanely simple self-hosted functional programming language\n\n** [[https://github.com/less-wrong/less-wrong][Less Wrong]]\nSimple CoC-based programming language\n\n** [[https://github.com/wu-lang/wu][Wu]]\nAn expression oriented, gradually typed and mission-critical programming language.\n\n** [[https://github.com/c3d/xl][XL]]\nA super-flexible language based entirely on tree rewrites\n\n** [[https://github.com/chessai/theseus][Theseus]]\nFunctional programming language with fully reversible computation\n\n\n\n** [[https://github.com/finkel-lang/finkel][Finkel]]\nFinkel is a statically typed, purely functional, non-strict-by-default dialect of the Lisp programming language. Or in other words, Haskell in S-expression.\n\n** [[https://github.com/PlasmaLang/plasma][Plasma]]\nA statically typed, side-effect free single assignment language and will have functional programming and concurrent programming features.\n\n** [[https://github.com/adam-mcdaniel/oakc][Oakc]]\nA portable programming language with an compact intermediate representation\n\n** [[https://github.com/unisonweb/unison][Unison]]\nUnison is a modern, statically-typed purely functional language, similar to Haskell, but with the ability to describe entire distributed systems with a single program.\n\n** [[https://github.com/supercollider/supercollider][SuperCollider]]\nAn audio server, programming language, and IDE for sound synthesis and algorithmic composition.\n\n** [[https://github.com/mila-iqia/myia][Myia]]\nMyia is a new differentiable programming language. It aims to support large scale high performance computations (e.g. linear algebra) and their gradients.\n\n** [[https://f1zz.org/][Fizz]]\nfizz is an experimental language and runtime environment for the exploration of cognitive architectures and combined Machine Learning (ML) and Machine Reasoning (MR) solutions.\n\n** [[https://github.com/vrtbl/passerine/][Passerine]]\n\n#+BEGIN_HTML\n\n\u003cimg src=\"https://raw.githubusercontent.com/vrtbl/passerine/master/Logotype.svg\" width=500px /\u003e\n\n#+END_HTML\n\nPasserine is a small extensible programming language designed for concise expression with little code. Passerine has roots in Scheme and ML-flavored languages: at its core, it's lambda-calculus with pattern-matching, structural ADTs, effect-based concurrency, and syntactic extension. The goal of Passerine is to create a tiny language core that can be extended in a composable manner, for use as a functional scripting language embeddable in other applications. Currently in early stages of development, Passerine has a 3 compilers at varying stages of completeness: one written in Rust, another D, and one in Passerine itself. It can target Wasm, its own compact bytecode format, D-lang, JS, and native code, among other formats.\n\n** [[https://github.com/ghewgill/neon-lang][Neon]]\nThe primary goal of Neon is to find out whether a useful programming language can avoid some of the common pitfalls that beginners frequently encounter in other languages.\n\n** [[https://github.com/RockstarLang/rockstar][Rockstar]]\nRockstar is a dynamically typed computer programming language,\ndesigned for creating programs that are also song lyrics. Rockstar is\nheavily influenced by the lyrical conventions of 1980s hard rock and\npower ballads.\n\n** [[https://vlang.io/][V]]\nSimple, fast, safe, compiled. For developing maintainable software.\n\n** [[https://github.com/xyproto/battlestar][Battlestar]]\nBattlestar provides a different syntax for programming in Assembly, with support for inline C. The goal is to let users create tiny executables and possibly write 4k and 64k demoscene demos. It's written for fun and for the educational process. 64-bit x86 Linux, 32-bit x86 Linux and 16-bit x86 DOS are supported.\n\n** [[https://mlochbaum.github.io/BQN/][BQN]]\nAn APL-like language that tries to put APL on a firmer footing.\n\n#+BEGIN_HTML\n\u003cdetails\u003e\n\u003csummary\u003e\u003cstrong\u003eTooling\u003c/strong\u003e\u003c/summary\u003e\n#+END_HTML\n\n** [[https://github.com/nanocaml/nanocaml][NanoCaml]]\n\n** [[https://github.com/RobertHarper/TILT-Compiler][TILT]]\nTILT is a compiler for Standard ML that uses Typed Intermediate\nLanguages.\n\n** [[https://github.com/mfranzs/typer-piper][Typer Piper]]\nThe Typer Piper: Automating Data Structure Transformations Through Type Chaining\n\n** [[https://github.com/vriad/zod][Zod]]\nZod is a TypeScript-first schema declaration and validation library. I'm using the term \"schema\" to broadly refer to any data type/structure, from a simple string to a complex nested object.\n\n** [[https://github.com/Matechs-Garage/matechs-effect][Matechs Effect]]\nA Fully-fledged functional effect system for typescript with a rich standard library.\n\n** [[https://github.com/dorchard/effects-as-sessions][Effects as Session]]\nFormalised embedding of an imperative language with effect system into session-typed pi calculus.\n\n** [[https://github.com/goldfirere/singletons][Singletons]]\nFake dependent types in Haskell using singletons\n\n** [[https://github.com/robotlolita/tamago][Tamago]]\nA safe, extensible, layered programming language that runs on top of JavaScript\n\n** [[https://github.com/tweag/asterius][Asterius]]\nAsterius is a Haskell to WebAssembly compiler based on GHC.\n\n** Compilations\n\n*** [[https://github.com/dundalek/awesome-lisp-languages][Awesome Lisp Languages]]\nCatalog of Lisp languages\n\n*** [[https://github.com/yairchu/list-of-structural-editors][List of structural editors]]\n\n\n#+BEGIN_HTML \u003c/details\u003e #+END_HTML\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fprathyvsh%2Fpl-catalog","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fprathyvsh%2Fpl-catalog","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fprathyvsh%2Fpl-catalog/lists"}