monomere / pshineView external linksLinks
Atmosphere and planet rendering playground.
☆25Jan 4, 2026Updated last month
Alternatives and similar repositories for pshine
Users that are interested in pshine are comparing it to the libraries listed below
Sorting:
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated last year
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 2 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last week
- reworking quest, but faster☆10Jul 26, 2025Updated 6 months ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 5 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 6 months ago
- Statically typed, high-level functional programming language.☆17Aug 22, 2021Updated 4 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- Curly programming language☆18Jan 8, 2021Updated 5 years ago
- A tiny javascript cat that you can easily run on any page.☆15Oct 25, 2019Updated 6 years ago
- [@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.☆21Jan 18, 2026Updated 3 weeks ago
- A simple functional programming language.☆22Jun 3, 2021Updated 4 years ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Aug 9, 2025Updated 6 months ago
- flexible 'let rec' generation for MetaOCaml☆28Jan 25, 2026Updated 3 weeks ago
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- experiments with the Rust type system, including a type-level brainfuck implementation☆36Nov 14, 2024Updated last year
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- OCaml notebooks as a WebComponent☆47Oct 4, 2025Updated 4 months ago
- A friendly Zig launcher and toolchain manager.☆22Dec 2, 2025Updated 2 months ago
- A set of typeclasses and effects for Rust similar to those provided by Cats for Scala☆27Aug 24, 2020Updated 5 years ago
- 👌 A smol functional language that targets other languages☆66Jan 17, 2024Updated 2 years ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30Jan 28, 2026Updated 2 weeks ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 4 months ago
- A toy example of a verified compiler.☆31Feb 5, 2026Updated last week
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67May 16, 2024Updated last year
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Jun 27, 2025Updated 7 months ago
- Historic Rust code browsing☆35Jan 14, 2021Updated 5 years ago
- Data-oriented parallel entity component system for Rust.☆27Jun 13, 2017Updated 8 years ago
- The Curly programming language (now in Rust!)☆31May 19, 2021Updated 4 years ago
- SP Font Maker creates a custom sitelen pona font from your handwriting!☆11Feb 8, 2026Updated last week
- The Knight Programming Language☆73Jun 2, 2025Updated 8 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- A programming language somewhat resembling cellular processes.☆34Feb 27, 2022Updated 3 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A blazingly fast python library for serializing/deserializing python objects to/from binary files☆10Dec 27, 2025Updated last month
- [Push Mirror] A rewrite of cowsay in python☆14Sep 2, 2025Updated 5 months ago