derw

Type-safe language

An Elm-inspired language that transpiles to TypeScript, designed for writing type-safe code with good productivity features

An Elm-inspired language that transpiles to TypeScript

GitHub

378 stars

13 watching

9 forks

Language: TypeScript

last commit: almost 3 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

learn-anything/programming-languages

Related projects:

Repository	Description	Stars
odddollar/leafscript	A lightweight programming language designed to be simple and efficient.	28
foonathan/type_safe	A set of C++ utilities to prevent bugs at compile time using the type system.	1,545
syumai/dejs	An ejs template engine for deno.	147
eeue56/haskell-to-elm	A collection of examples demonstrating key differences between Haskell and Elm programming languages	67
microsoft/typescript	A language extension that adds optional types to JavaScript for large-scale applications	101,442
paddls/ngx-form	A library providing reactive form functionality with model-based type safety and strong typing.	14
safe-global/safe-apps-sdk	Tools for building Safe Apps	272
evertdespiegeleer/zhttp	A minimal, typesafe HTTP library with Zod validation	67
safe-stack/safe-template	A template for building SAFE-Stack projects using dotnet CLI	283
kiedtl/finwe	An experimental language for building stack-based programs with enforced safety features in a constrained environment.	36
morphismtech/squeal	A Haskell library that embeds the language of SQL into its type system, allowing for high-level type safety and expressiveness in database interactions.	363
overmighty/i-use-arch-btw	An esoteric programming language based on Brainfuck with a custom syntax using Arch Linux keywords	833
danvk/effective-typescript	An exhaustive collection of TypeScript code samples and explanations to improve programming skills in the language	1,582
lys-lang/lys	A language compiler to WebAssembly	419
wulf/tsync	Automates TypeScript type generation from Rust code	117