@pikelet-lang

Pikelet

A friendly little systems language with first-class types. (Placeholder logo by https://github.com/twitter/twemoji/)

Pinned repositories

  1. pikelet

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

    Rust 175 9

  • pikelet

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

    programming-language rust typechecker dependent-types lambda-calculus type-theory systems-language
    Rust 175 9 Apache-2.0 9 issues need help Updated Aug 26, 2018

  • pikelet-site-vuepress

    Experimenting with using VuePress for the Pikelet website

    Updated Aug 19, 2018

  • highlight.js

    Forked from highlightjs/highlight.js

    Javascript syntax highlighter (with additional support for Pikelet)

    JavaScript 2,194 Updated Jul 27, 2018
    • 2

    People
    @adrianwong adrianwong Adrian Wong
    @brendanzab brendanzab Brendan Zabarauskas