MiniLang
Type-safe C language
A modern, type-safe C successor with a focus on memory safety and ease of use.
A type-safe C successor that compiles directly to various platforms.
139 stars
3 watching
3 forks
Language: Python
last commit: 4 months ago cc-successorcompilercompiler-backendcompiler-from-scratchcompiler-frontendfossfunction-overloadinghygienic-macrosmemory-safeopen-sourceportableprogramming-languagepython3transpiled-languageturing-tarpittype-safeufcsx86-64
Related projects:
| Repository | Description | Stars |
|---|---|---|
 p-p-h-d/mlib | A C library providing generic and type-safe container implementations | 919 |
 foonathan/type_safe | A set of C++ utilities to prevent bugs at compile time using the type system. | 1,545 |
 murisi/l2 | A minimalist language with procedural macro support | 135 |
 boostorg/safe_numerics | Replaces standard numeric types with exception-throwing versions to prevent undefined behavior due to integer overflow | 210 |
 mcinglis/c-style | A guide to best practices for writing readable, maintainable C code | 2,008 |
 coruus/safeclib | Library providing functions to mitigate security risks and improve code safety | 14 |
 kowainik/membrain | Provides type-safe memory units through a Haskell library with minimal boilerplate | 62 |
 managarm/mlibc | A portable C standard library with support for multiple architectures and operating systems. | 860 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 tinycc/tinycc | A lightweight C compiler that compiles and executes C code directly. | 2,086 |
| foonathan/tiny | A C++11 library for minimizing the size of types by using bit-twiddling and other low-level techniques. | 111 |
 therealmichaelwang/cish | A language focused on being practical and pragmatic while still providing strong typing and powerful type arguments. | 35 |
 nikodemus/foolang | A Smalltalk-inspired language with goals of elegance, performance, fault tolerance, and multiplatform support. | 37 |
 jserv/mazucc | A minimal C compiler generating x86_64 assembly code | 516 |
 uniconproject/unicon | A high-level programming language with a dynamic type system and support for various CPU architectures. | 56 |