numbat
pen
| numbat | pen | |
|---|---|---|
| 5 | 10 | |
| 872 | 440 | |
| - | 0.5% | |
| 9.8 | 9.5 | |
| 6 days ago | 7 days ago | |
| Rust | Rust | |
| Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
numbat
-
Show HN: Numbat – A programming language with physical dimensions as types
> 365·243 ought to be 365·2425 exactly:
Yes. This is also how it is defined: https://github.com/sharkdp/numbat/blob/ba9e97b1fbf6353d24695...
The calculation above is showing a rounded result (6 significant digits by default).
- Programming Language for Scientific Computations
pen
-
Announcing the Pen programming language v0.4
The Pen programming language is a new parallel, concurrent, statically typed, functional programming language. I'm excited to announce its v0.4 release here!
-
Implementing the Perceus reference counting GC
In this post, I describe my experience and some caveats about implementing and gaining benefits from the Perceus RC. I've been developing a programming language called Pen and implemented a large part of the Perceus RC there. I hope this post helps someone who is implementing the algorithm or even deciding if it's worth implementing it in their own languages.
-
January 2022 monthly "What are you working on?" thread
I'm a developer of the Pen programming language. Since the last v0.3 release, many features have been implemented including async/await and concurrent runtime.
- Pen: A programming language for scalable development
- GitHub - pen-lang/pen: The programming language for scalable development
- Pen: The programming language for scalable development
- Pen: The new statically typed functional programming language inspired by Go
- The new statically typed functional programming language inspired by Go
- The new functional programming language inspired by Go
What are some alternatives?
rink-rs - Unit conversion tool and library written in rust
koka - Koka language compiler and interpreter
Desk - 🔮 The application platform for your cyberpunk desk
artichoke - 💎 Artichoke is a Ruby made with Rust
cpc - Text calculator with support for units and conversion
Argon - Argon programming language
fathom - 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
konna - A fast functional language based on two level type theory
gleam - ⭐️ A friendly language for building type-safe, scalable systems!
gluon - A static, type inferred and embeddable language written in Rust.
Measuremancer - A library to handle measurement uncertainties & error propagation
ric-script - A modern scripting language; implemented in old school C, yacc & flex