Peridot: A functional language based on two-level type theory

1. peridot

   1 13 388 3.1 Haskell

   Discontinued A fast functional language based on two level type theory

   Hey! I'm Peridot's author. Peridot is a language based on two-level type theory which allows for the compiler backend to be written in userspace. The language is really two languages tied together: a logic language, and a dependently typed functional language. The former is built for metaprogramming - high-level optimizers and compilers can be written that translate the latter language into a target language of choice. An in-depth explanation of the language's rationale can be found here.

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. unseemly

   2 5 129 0.0 Rust

   Macros have types!

   

   Did you take a look at paul stansifer's unseemly? https://github.com/paulstansifer/unseemly cc /u/paul_stansifer

4. typer

   3 1 - -

   One of my professor's is also working on a dependently typed language with lisp like macros. It's called typer

Suggest a related project