TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- typescript
- javascript
- language
- typechecker
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
The repository host gives no description.
Cloud Native application framework for .NET
- actor-model
- distributed-actors
- distributed-systems
- cloud-computing
Clean Architecture Template for Blazor WebAssembly Built with MudBlazor Components.
Cosette is an automated SQL solver.
Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
The repository host gives no description.
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Zero Allocation Writer/Reader Parser for .NET Core
- flatfile
- csv
- tsv
- delimited
CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.
- blazor-webassembly
- clean-architecture
- aspire
- blazor-wasm
Turn any website into clean, structured data: Markdown, metadata and links from one page or a whole site, in every major language.
- crawling
- csharp
- elixir
- ffi
A Lean formalization of the Classification of Finite Simple Groups
Nix overlay for Lean 4, and lake2nix
Parameter Optimization for Lean Algorithms
- lean
- optimization
- blazor
- sharpe-ratio
comvert bool expression to elasticsearch DSL in rust
- elastic
- elasticsearch
- dsl
- sql
Clean boilerplate for graphql services, wasm/yew frontend, handlebars frontend. Using tide, rhai, async-graphql, surf, graphql-client, yew, handlebars, jsonwebtoken, and mongodb.
- tide
- mongodb
- async-graphql
- rust
Reimplementation of Natural Number Game in Coq