Awesome GitHub RepositoriesUser-Defined Types

Reason is a strongly typed functional language and multi-target compiler designed to produce either JavaScript for web environments or native machine code for operating systems. It serves as an OCaml-compatible language that shares an abstract syntax tree with OCaml, providing a practical syntax for the OCaml ecosystem. The project functions as a type-safe frontend language, incorporating JSX support to build user interfaces through structural elements that translate into type-safe function calls. It enables deep integration with the JavaScript ecosystem, allowing the use of existing librarie

The Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.

This project is an interactive programming education resource and tutorial designed for learning the Rust programming language and systems programming concepts. It provides a collection of runnable and editable code examples that serve as a practical reference for language syntax and implementation. The resource features an interactive code sandbox that allows users to execute and test code snippets in real time. It emphasizes the verification of technical accuracy by executing embedded code blocks during the build process to ensure all examples remain functional. The content covers a compre

Penrose is a compiler that transforms structured mathematical notation into optimized SVG diagrams. It uses a three-stage pipeline of separate domain, substance, and style files to define mathematical objects, relationships, and visual presentation, then solves continuous optimization problems with user-defined spatial constraints and objectives to automatically arrange diagram elements. The system separates diagram content from visual style using distinct declarative languages, and provides a typed domain language with subtype hierarchies for mathematical objects. It supports embedding compi

Arktype is a TypeScript runtime validation library and schema orchestrator. It synchronizes TypeScript types with runtime data validation, allowing users to define type-safe schemas that ensure unknown data adheres to specific structures during application execution. The project distinguishes itself by using set-theory type analysis to determine intersections and subtype compatibility, alongside JIT-compiled validation functions for optimized performance. It supports advanced type modeling through branded type constraints, recursive alias resolution, and the ability to generate runtime valida

C4-PlantUML is a code-driven library that generates C4 model software architecture diagrams from PlantUML source text. It provides a set of reusable macros for creating system context, container, component, and deployment diagrams, enabling architects and developers to describe and communicate software architecture using the C4 model notation directly from diagram-as-code source files. The library distinguishes itself through hierarchical element nesting, which builds diagrams by nesting elements inside boundaries using PlantUML's rectangle and package constructs, and layout-direction control

MobX State Tree is a structured, tree-based state management library for JavaScript applications that combines typed model definitions with reactive snapshots and patch-based change tracking. It provides a reactive state container with runtime and compile-time type safety, where application state is defined as a tree of typed models with collocated actions, computed views, and lifecycle hooks for predictable state mutations. The library is built around an action-centric mutation model that encapsulates all state changes within named functions that directly modify the tree, supported by genera

Gopher-lua is a complete implementation of the Lua language and its standard libraries written natively in Go. It serves as an embedded scripting engine and virtual machine that allows Go applications to execute Lua scripts and exchange data between the host and the script environment. The project provides a bytecode compiler to transform source code into a binary format for faster execution. It enables deep integration between the two languages by allowing the registration of native Go functions to be called from scripts, and the invocation of script functions directly from Go. The engine c

cva is a TypeScript utility for defining and resolving visual variants for UI components with full type safety. It generates CSS class strings from typed variant definitions, enabling compile-time validation of component usage by deriving the union of all variant prop types from a configuration object. The library distinguishes itself through compound variant matching, which activates styles only when multiple independent variant conditions are simultaneously satisfied, merging their class names. It also provides default value propagation to ensure consistent rendering when no explicit varian

TypeSpec is a language for defining cloud API shapes and generating OpenAPI, JSON Schema, and client/server code from a single source of truth. It functions as a protocol-agnostic API designer that models REST, gRPC, and other API protocols using a unified, extensible syntax, with a decorator-based metadata system for attaching metadata, validation rules, and lifecycle visibility to API models and operations. The compiler produces OpenAPI 3.0 specifications and other artifacts, and the tool supports declaring API versions and tracking changes to models, properties, and operations across releas

यह प्रोजेक्ट एक TypeScript-संचालित टूलकिट है जो Vue.js घटक बनाने के लिए डेकोरेटर और क्लास-आधारित संरचनाएं प्रदान करता है। यह एक रैपर के रूप में कार्य करता है जो मानक विकल्प API ऑब्जेक्ट कॉन्फ़िगरेशन को एक क्लास-आधारित लाइब्रेरी के साथ बदल देता है, जिससे डेवलपर्स को टाइप की गई प्रॉपर्टीज़ का उपयोग करके घटक तर्क, स्थिति और मेटाडेटा को परिभाषित करने की अनुमति मिलती है। यह टूलकिट क्लास प्रॉपर्टीज़ को props, models और watchers जैसे घटक विकल्पों में मैप करने के लिए TypeScript डेकोरेटर का उपयोग करने पर केंद्रित है। यह टाइप-संचालित प्रॉप वैलिडेशन को सक्षम बनाता है और प्रतिक्रियाशील स्थिति सिंक्रोनाइज़ेशन और घटक संचार को प्रबंधित करने के लिए एक संरचित सिंटैक्स प्रदान करता है। यह लाइब्रेरी डिपेंडेंसी इंजेक्शन के माध्यम से पदानुक्रमित डेटा साझाकरण, टू-वे मॉडल बाइंडिंग और प्रॉपर्टी परिवर्तन अवलोकन सहित व्यापक क्षमता क्षेत्रों को कवर करती है। इसमें सीधे हेरफेर के लिए HTML तत्वों या चाइल्ड घटक इंस्टेंस के लिए टाइप किए गए संदर्भ बनाने के लिए सिस्टम भी शामिल हैं।

gofakeit is a Go library for creating realistic synthetic datasets and populating Go structs with mock information. It functions as a deterministic data generator, allowing for seedable random number generation to ensure reproducible datasets for software testing. The project distinguishes itself by providing a mock data API server that exposes generation functions as HTTP endpoints and a synthetic dataset exporter for producing files in CSV, JSON, and XML formats. It also includes a command-line interface for generating mock data directly from the terminal. The library covers a wide array o

This project is a comprehensive collection of Python programming education materials, including tutorials, exercises, and curated code samples. It serves as a learning curriculum and software engineering toolkit, utilizing Jupyter Notebooks to combine executable code with descriptive educational text. The repository provides practical implementation guides for building large language model applications, such as retrieval-augmented generation systems, stateful AI agents, and machine learning workflows. It distinguishes itself by offering a structured approach to agentic coding workflows, cover

Slang is a shader compiler framework that combines a modular shading language with automatic differentiation, multi-target code generation, and an intrinsic mapping and extension system. At its core, Slang provides a differentiable shader compiler that automatically generates forward and backward derivative propagation for functions with control flow, enabling gradient-based optimization in graphics. The framework also includes a fully featured shader language with modules, generics, interfaces, and separate compilation, all designed for building reusable shader libraries. From a single source

easyjson Go के लिए एक उच्च-प्रदर्शन JSON सीरियलाइज़र और मेमोरी-अनुकूलित पार्सर है। यह एक रिफ्लेक्शनलेस कोड जनरेटर प्रदान करता है जो डेटा को मार्शल और अनमार्शल करने के लिए स्टैटिक Go मेथड्स बनाता है, जिससे निष्पादन गति में सुधार के लिए रनटाइम रिफ्लेक्शन की आवश्यकता समाप्त हो जाती है। यह लाइब्रेरी कई अनुकूलन रणनीतियों के माध्यम से CPU और मेमोरी ओवरहेड को कम करती है। यह हीप एलोकेशन और गारबेज कलेक्शन के दबाव को कम करने के लिए पुन: प्रयोज्य मेमोरी बफर पूल की एक प्रणाली का उपयोग करती है। इसके अतिरिक्त, यह बार-बार आने वाले मानों को हटाने के लिए स्ट्रिंग इंटरनिंग और नई स्ट्रिंग आवंटित करने के बजाय मौजूदा बफर सेगमेंट की ओर इशारा करने के लिए ज़ीरो-कॉपी स्ट्रिंग रेफरेंसिंग का उपयोग करती है। यह प्रोजेक्ट Go स्ट्रक्ट्स और JSON के बीच डेटा के रूपांतरण को अनुकूलित करने के लिए उच्च-प्रदर्शन JSON प्रोसेसिंग, स्टैटिक कोड जनरेशन और उन्नत मेमोरी प्रबंधन को कवर करता है।

यह प्रोजेक्ट TypeScript भाषा के लिए एक व्यापक गाइड और शैक्षिक संसाधन है। यह भाषा के मूलभूत सिद्धांतों को कवर करता है, जिसमें इसका स्ट्रक्चरल टाइप सिस्टम, स्टेटिक टाइप विश्लेषण और टाइप्ड सोर्स फाइलों को JavaScript में ट्रांसपाइल करने की प्रक्रिया शामिल है। सामग्री विस्तार से बताती है कि जेनेरिक्स, कंडीशनल टाइप्स और मैप्ड टाइप्स का उपयोग करके जटिल डेटा और पुन: प्रयोज्य टाइप लॉजिक को कैसे मॉडल किया जाए। यह बाहरी JavaScript लाइब्रेरी के लिए टाइप सेफ्टी प्रदान करने के लिए डिक्लेरेशन फाइलों के उपयोग और JSDoc एनोटेशन के माध्यम से मौजूदा JavaScript प्रोजेक्ट्स में टाइप चेकिंग के एकीकरण की भी व्याख्या करती है। सामग्री का दायरा ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग पैटर्न, DOM हेरफेर और कंपाइलर व्यवहार के कॉन्फ़िगरेशन तक फैला हुआ है। इसमें मॉड्यूल इंटरऑपरेबिलिटी को प्रबंधित करने, बिल्ड पाइपलाइन सेट करने और बेहतर डेवलपर उत्पादकता के लिए एडिटर इंटेलिजेंस का उपयोग करने पर मार्गदर्शन शामिल है।

Walt एक ट्रांसपाइलर और टाइप्ड भाषा है जो JavaScript-जैसे सिंटैक्स को WebAssembly बाइनरी फॉर्मेट में बदलती है। यह टाइप्ड सोर्स कोड को WebAssembly टेक्स्ट फॉर्मेट में अनुवादित करके ब्राउज़र और रनटाइम के लिए उच्च-प्रदर्शन तर्क विकसित करने के लिए एक टूलचेन के रूप में कार्य करता है। इस प्रोजेक्ट में एक बंडलर-एकीकृत लोडर शामिल है जो बिल्ड प्रक्रिया के दौरान सोर्स फाइलों के पुन: संकलन को स्वचालित करता है। यह एक लीनियर मेमोरी मैनेजर प्रदान करता है जिसका उपयोग एक सन्निहित हीप (contiguous heap) के भीतर कस्टम डेटा लेआउट, स्ट्रक्ट्स और मेमोरी एलोकेटर को परिभाषित करने के लिए किया जाता है। यह भाषा परिभाषित फंक्शन सिग्नेचर, न्यूमेरिक टाइप, और फंक्शन व ग्लोबल को एक्सपोर्ट करने या होस्ट वातावरण से बाहरी फंक्शन को इम्पोर्ट करने की क्षमता का सपोर्ट करती है। यह बाइनरी मेमोरी ऑफ़सेट के माध्यम से फंक्शनल क्लोजर, फंक्शन पॉइंटर्स और संरचित डेटा संगठन के उपयोग को सक्षम बनाती है।

Buck2 is a programmable monorepo build tool and hermetic build system designed to manage large-scale projects with complex target graphs and multi-language dependencies. It functions as a remote execution framework and dependency graph analyzer, providing an artifact caching engine to ensure reproducible and consistent build results across different environments. The system distinguishes itself through an incremental computation engine that recomputes only the specific nodes in a dependency graph invalidated by changes. It utilizes content-addressable storage for build artifact caching and su

lua-language-server is a static analysis tool and type checker for the Lua language that implements the Language Server Protocol. It provides a system for detecting type mismatches, unused code, and logic errors in source files. The project features an inference-based type system that deduces variable types and supports optional annotations and meta files to enforce type safety. It allows for the definition of custom types and function signatures, including support for overloads and member visibility controls. The server provides a broad set of IDE capabilities, including real-time code auto