pikelet-lang/pikelet：一种友好的小系统语言，拥有一流的类型

项目介绍

pikelet-lang/pikelet 是一个托管在 GitHub 上的开源项目，主要使用 Rust 编写，采用 Apache License 2.0 许可证，目前获得 622 个 Star、27 次 Fork。

仓库全名: pikelet-lang/pikelet

README 摘要

Pikelet! [pikelet-mascot]: ./book/assets/pikelet.png [actions-url]: https://github.com/pikelet-lang/pikelet/actions [matrix-lobby]: https://app.element.io/#/room/#pikelet:matrix.org [license-url]: ./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…

完整内容见 GitHub 原始 README 或本页。

常见问题

pikelet 用什么语言开发？

主要使用 Rust 编写，采用 Apache License 2.0 许可证，目前有 622 个 Star。

pikelet 可以免费商用吗？

如何获取 pikelet 的源码？

可以直接克隆仓库：git clone https://github.com/pikelet-lang/pikelet.git，默认分支为 main；安装与运行步骤见仓库 README。

pikelet 最近还在维护吗？

仓库最近一次更新为 2021年5月16日，当前有 32 个未关闭 Issue；Star 数为 622，可作为社区活跃度的参考。

关于

GitHub 原始描述（英文）

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

bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker

Apache License 2.0
622 Stars
27 Forks
26 Watching

描述取自 GitHub 官方 API，保持仓库作者书写的原文。

简要分析

热度分

702

价值分

382

活跃状态

活跃

GitHub

语言占比

JavaScript

Rust

贡献者

Pikelet!

Pikelet Mascot

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.

暂无评论

pikelet