Hacker GitHub

← All repos

pikelet-lang/pikelet

View on GitHub ↗ ★ 622 Rust

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2018-09-23 · latest 2020-11-22

Mentions per year 3 mentions · busiest year 2018 (1)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Pikelet is a small, functional, dependently typed programming language
    story by todsacerdoti · 2020-11-22 · 0 comments