eyg-lang
Memory-safe lang
A research project exploring a functional programming language with guaranteed memory safety features.
Experiments in building "better" languages and tools; for some measure of better.
202 stars
4 watching
6 forks
Language: Gleam
last commit: 11 months ago functional-programminggleamprogramming
Related projects:
| Repository | Description | Stars |
|---|---|---|
 ys-zong/vlguard | Improves safety and helpfulness of large language models by fine-tuning them using safety-critical tasks | 47 |
 philogy/safeconsole | A memory-preserving logging library for Solidity applications. | 50 |
 tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |
 kiedtl/finwe | An experimental language for building stack-based programs with enforced safety features in a constrained environment. | 36 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
 eeue56/derw | An Elm-inspired language that transpiles to TypeScript, designed for writing type-safe code with good productivity features | 378 |
 vexu/bog | A small, embeddable language with strong typing and support for async/await, loops, error handling, and destructuring. | 549 |
 eaigner/shield | A flexible Bayesian text classifier with backend storage support | 158 |
 sviperll/argo | Developing a pragmatic functional programming language with a focus on tooling, simplicity, and incremental changes to enable stable growth and maintenance. | 10 |
 jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 242 |
 kowainik/membrain | Provides type-safe memory units through a Haskell library with minimal boilerplate | 62 |
 hamler-lang/hamler | A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency. | 1,031 |
 eholk/harlan | A Scheme-based language for programming GPUs. | 1,183 |
 fogfish/datum | A set of functional programming abstractions and data structures for Erlang | 124 |
 nicup14/minilang | A modern, type-safe C successor with a focus on memory safety and ease of use. | 139 |