# lambdaclass/concrete

<https://repo.masters-masters.com/en/repos/lambdaclass/concrete>

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

lambdaclass/concrete has 342 stars on GitHub. Its RepoMasters card: Alpha tier. Experimental systems language with linear ownership, explicit capabilities…

| Field | Value |
| --- | --- |
| Owner | [lambdaclass](https://repo.masters-masters.com/en/owners/lambdaclass) |
| Stars | 342 |
| Forks | 22 |
| Language | [Shell](https://repo.masters-masters.com/en/languages/shell) |
| License | Apache-2.0 |
| Created | 2023 |
| Topics | mlir, programming-language |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [lambdaclass/concrete](https://github.com/lambdaclass/concrete) |

## Repository

Experimental systems language with linear ownership, explicit capabilities, and Lean-checked proofs for supported code.

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

## More repos by lambdaclass

- [lambdaclass/ethrex · ★ 913 · Rust · Beta](https://repo.masters-masters.com/en/repos/lambdaclass/ethrex)
- [lambdaclass/lambdaworks · ★ 739 · Rust · Beta](https://repo.masters-masters.com/en/repos/lambdaclass/lambdaworks)
- [lambdaclass/lambdaclass\_hacking\_learning\_path · ★ 485 · Alpha](https://repo.masters-masters.com/en/repos/lambdaclass/lambdaclass_hacking_learning_path)
- [lambdaclass/options\_portfolio\_backtester · ★ 284 · Python · Alpha](https://repo.masters-masters.com/en/repos/lambdaclass/options_portfolio_backtester)
- [lambdaclass/erlings · ★ 186 · Erlang · Prototype](https://repo.masters-masters.com/en/repos/lambdaclass/erlings)
- [lambdaclass/starknet\_in\_rust · ★ 168 · Rust · Prototype](https://repo.masters-masters.com/en/repos/lambdaclass/starknet_in_rust)

## Nearby in Shell

- [htr-tech/termux-login · ★ 342 · Shell · Alpha](https://repo.masters-masters.com/en/repos/htr-tech/termux-login)
- [Silejonu/bash\_loading\_animations · ★ 342 · Shell · Alpha](https://repo.masters-masters.com/en/repos/Silejonu/bash_loading_animations)
- [fscarmen/sba · ★ 342 · Shell · Alpha](https://repo.masters-masters.com/en/repos/fscarmen/sba)
- [mvanholsteijn/strip-docker-image · ★ 342 · Shell · Alpha](https://repo.masters-masters.com/en/repos/mvanholsteijn/strip-docker-image)
- [danvega/spring-boot-intro · ★ 342 · Shell · Alpha](https://repo.masters-masters.com/en/repos/danvega/spring-boot-intro)
- [cytopia/awesome-ci · ★ 342 · Shell · Alpha](https://repo.masters-masters.com/en/repos/cytopia/awesome-ci)

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