prathyvsh / pl-catalog
A catalogue of languages, environments, and tooling around them. Feel free to send a PR if I am missing some cool indie projects here.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Dafny 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.
Irken is a strongly typed, compiled language with a lisp-like syntax extensible with macros. It 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++.
Ur 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.
Some of Brendan’s thoughts on evolving Pikelet can be read here: https://gist.github.com/brendanzab/eba7015e6345abe79a57a704091820bb/
