Giter VIP home page Giter VIP logo

pikelet-lang / pikelet Goto Github PK

View Code? Open in Web Editor NEW
607.0 30.0 25.0 5.69 MB

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

Home Page: https://pikelet-lang.github.io/pikelet/

License: Apache License 2.0

Rust 99.51% JavaScript 0.49%
dependent-types typechecker type-theory programming-language type-system bidirectional-typechecking rust dependent-record-types dependent-records systems-language

pikelet's People

Contributors

adrianwong avatar boomshroom avatar brendanzab avatar dependabot-support avatar dependabot[bot] avatar heyrutvik avatar memoryruins avatar phase avatar ratmice avatar repnop avatar tzemanovic avatar

Stargazers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Watchers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Forkers

little-dude graydon silky marwes acidburn0zzz brendanzab happy-ferret heyrutvik boomshroom tzemanovic repnop memoryruins matthewhammer phase mafm bglgwyng isgasho zeta1999 teymour-aldridge icodein madwareru frankfanslc kennedytedesco iq-scm

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.