eyg-lang
by CrowdHailer
Experiments in building "better" languages and tools; for some measure of better.
AI summary
Memory-safe lang
A research project exploring a functional programming language with guaranteed memory safety features.
- stars
- 202
- forks
- 6
- watching
- 4
Similar projects
Found by comparing what the projects do, not just their names.
Safety fine-tuner
Improves safety and helpfulness of large language models by fine-tuning them using safety-critical tasks
Logging library
A memory-preserving logging library for Solidity applications.
Functional lang
A functional programming language designed to ease the transition from object-oriented paradigms
Safety compiler
An experimental language for building stack-based programs with enforced safety features in a constrained environment.
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
eeue56/derw378
Type-safe language
An Elm-inspired language that transpiles to TypeScript, designed for writing type-safe code with good productivity features
vexu/bog549
Language framework
A small, embeddable language with strong typing and support for async/await, loops, error handling, and destructuring.
Text classifier library
A flexible Bayesian text classifier with backend storage support
Functional language
Developing a pragmatic functional programming language with a focus on tooling, simplicity, and incremental changes to enable stable growth and maintenance.
Language Interpreter
An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem
Memory unit library
Provides type-safe memory units through a Haskell library with minimal boilerplate
Functional language
A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency.
eholk/harlan1.2K
GPU language
A Scheme-based language for programming GPUs.
Erlang library
A set of functional programming abstractions and data structures for Erlang
Type-safe C language
A modern, type-safe C successor with a focus on memory safety and ease of use.
