Pikelet

Repositories

• pikelet

  (Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.

  programming-language rust typechecker dependent-types compiler type-theory systems-language
  Rust Apache-2.0 20 378 37 (7 issues need help) 2 Updated Aug 12, 2020

• pikelet-site-vuepress

  Experimenting with using VuePress for the Pikelet website
  0 1 0 0 Updated Aug 19, 2018

• highlight.js

  Forked from highlightjs/highlight.js

  Javascript syntax highlighter (with additional support for Pikelet)
  JavaScript 2,868 0 0 0 Updated Jul 27, 2018