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: over 1 year ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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