# pikelet-lang/pikelet

<https://repo.masters-masters.com/en/repos/pikelet-lang/pikelet>

[Home](https://repo.masters-masters.com/en) › [pikelet-lang](https://repo.masters-masters.com/en/owners/pikelet-lang) › [pikelet](https://repo.masters-masters.com/en/repos/pikelet-lang/pikelet)

pikelet-lang/pikelet has 621 stars on GitHub. Its RepoMasters card: Alpha tier. A friendly little systems language with first-class types. Very WIP\! 🚧 🚧 🚧

| Field | Value |
| --- | --- |
| Owner | [pikelet-lang](https://repo.masters-masters.com/en/owners/pikelet-lang) |
| Stars | 621 |
| Forks | 27 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2017 |
| Topics | dependent-types, typechecker, type-theory, programming-language, type-system, bidirectional-typechecking, rust, dependent-record-types, dependent-records, systems-language |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [pikelet-lang/pikelet](https://github.com/pikelet-lang/pikelet) |

## Repository

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

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Rust

- [ethangreen-dev/lovely-injector · ★ 621 · Rust · Alpha](https://repo.masters-masters.com/en/repos/ethangreen-dev/lovely-injector)
- [commonwarexyz/monorepo · ★ 621 · Rust · Alpha](https://repo.masters-masters.com/en/repos/commonwarexyz/monorepo)
- [solana-foundation/surfpool · ★ 621 · Rust · Alpha](https://repo.masters-masters.com/en/repos/solana-foundation/surfpool)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.