GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects β†’ pikelet-lang β†’ Pikelet

pikelet-lang / Pikelet

Licence: apache-2.0
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Programming Languages

rust
11053 projects

Labels

compilertype-theory

Projects that are alternatives of or similar to Pikelet

Datafun
Research on integrating datalog & lambda calculus via monotonicity types
Stars: ✭ 287 (-40.82%)
Mutual labels:  compiler, type-theory
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+531.75%)
Mutual labels:  compiler, type-theory
Scala Js
Scala.js, the Scala to JavaScript compiler
Stars: ✭ 4,249 (+776.08%)
Mutual labels:  compiler
Dynarmic
An ARM dynamic recompiler.
Stars: ✭ 475 (-2.06%)
Mutual labels:  compiler
Compiler
The Hoa\Compiler library.
Stars: ✭ 458 (-5.57%)
Mutual labels:  compiler
Haxe
Haxe - The Cross-Platform Toolkit
Stars: ✭ 4,665 (+861.86%)
Mutual labels:  compiler
Cubicaltt
Experimental implementation of Cubical Type Theory
Stars: ✭ 461 (-4.95%)
Mutual labels:  type-theory
Mazucc
A minimalist C compiler with x86_64 code generation
Stars: ✭ 437 (-9.9%)
Mutual labels:  compiler
Walt
⚑ Walt is a JavaScript-like syntax for WebAssembly text format ⚑
Stars: ✭ 4,513 (+830.52%)
Mutual labels:  compiler
Halide
a language for fast, portable data-parallel computation
Stars: ✭ 4,722 (+873.61%)
Mutual labels:  compiler
Plt
λΠ Programming Language Theory
Stars: ✭ 4,609 (+850.31%)
Mutual labels:  type-theory
Cantonese
粀语编程语言.The Cantonese programming language.
Stars: ✭ 454 (-6.39%)
Mutual labels:  compiler
Flingos
An educational operating system written in C#. A great stepping stone from high to low level development.
Stars: ✭ 451 (-7.01%)
Mutual labels:  compiler
Renjin
JVM-based interpreter for the R language for the statistical analysis.
Stars: ✭ 466 (-3.92%)
Mutual labels:  compiler
Graphql Compiler
Turn complex GraphQL queries into optimized database queries.
Stars: ✭ 447 (-7.84%)
Mutual labels:  compiler
Nimporter
Compile Nim Extensions for Python On Import!
Stars: ✭ 474 (-2.27%)
Mutual labels:  compiler
Nelua Lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Stars: ✭ 438 (-9.69%)
Mutual labels:  compiler
Minigo
minigoπŸ₯is a small Go compiler made from scratch. It can compile itself.
Stars: ✭ 456 (-5.98%)
Mutual labels:  compiler
Shedskin
Shed Skin is a Python to C++ compiler. Read the introduction below to learn about the restrictions.
Stars: ✭ 458 (-5.57%)
Mutual labels:  compiler
Opal
Ruby β™₯︎ JavaScript
Stars: ✭ 4,552 (+838.56%)
Mutual labels:  compiler
View All Similar Projects βž”

Pikelet!

Pikelet Mascot

Actions Status Matrix License

Pikelet is a small, functional, dependently typed programming language.

Dependent types allow us to do a bunch of really interesting things, like using records for modules, declaring the length of arrays at the type level, and much more β€” many of great utility for low-level and high-level code alike!

We hope to one day grow Pikelet into fully-fledged systems programming language, with support for unboxed data types, control over memory layout and allocation strategy, linear types, and a flexible phase distinction and support for calling other languages. At the moment however we've only implemented a type checker and very slow interpreter, so don't get your hopes up too much yet! There's still a whole lot to do before it is even remotely useful to anyone! πŸ˜…

Roadmap

Check out our plans in the roadmap.

Code of Conduct

Please note that this project is released with a Code of Conduct. By participating in this project you agree to abide by its terms.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].