Awesome GitHub RepositoriesImmutable Variables

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

This project is a curated collection of guidelines and technical resources designed to improve C++ code safety, maintainability, and performance. It provides a comprehensive set of coding standards and best practices for establishing consistent naming, formatting, and structural patterns across C++ codebases. The guide offers specific technical advice on performance optimization, including methods for minimizing object copying, optimizing memory allocation, and reducing compilation cycles. It also provides a directory of tooling recommendations for implementing static analysis, fuzz testing,

This project is a reference catalogue of the new syntax and behavioral changes introduced in the ECMAScript 6 (ES6) specification for JavaScript. It serves as a curated overview and comparison table of the language features defined by the standard, documenting additions such as block scoping with let and const, arrow function syntax, default parameter handling, and rest parameter collection. The reference is structured as a side-by-side comparison chart that maps old and new JavaScript syntax patterns, providing a focused guide for each capability. It covers the core language fundamentals

Roc is a statically typed, functional programming language built around immutable-by-default semantics, exhaustive pattern matching on tag unions, and a type system that combines optional explicit annotations with full compile-time type inference. Its core identity centers on correctness and expressiveness, using tagged unions for error handling with a question-mark operator for early error propagation, and a trailing-bang naming convention that makes side-effect boundaries syntactically visible at every call site. The language distinguishes itself through a platform-based I/O abstraction tha

Vyper este un limbaj de programare tipizat, axat pe securitate, și un compilator conceput pentru crearea de smart contracts care se execută pe Ethereum Virtual Machine. Utilizează o sintaxă de tip Python pentru a defini logica și starea contractului, servind drept țintă pentru verificare formală pentru a permite dovezi de corectitudine verificate de mașină. Limbajul se distinge prin constrângeri arhitecturale stricte care prioritizează predictibilitatea și securitatea. Impune grafuri de apel aciclice prin interzicerea recursivității și impune bucle mărginite pentru a asigura predicția statică a gazului. În plus, dispune de un tip zecimal nativ cu virgulă fixă pentru calcule financiare, pentru a preveni pierderea preciziei. Proiectul oferă un set cuprinzător de capabilități pentru dezvoltarea blockchain, inclusiv gestionarea stării puternic tipizate, primitive criptografice pentru recuperarea cheilor publice și protecții încorporate împotriva reentrancy-ului. Suportă implementarea standardelor de token-uri din industrie, instrumente de finanțe descentralizate și sisteme de guvernanță on-chain printr-un sistem modular de interfețe și implementări de contracte. Compilatorul transformă codul sursă de nivel înalt în bytecode vizat pentru EVM și definiții ABI, oferind în același timp instrumente pentru testarea automată a contractelor și verificarea integrității build-ului.

Acest proiect este un set de standarde de codare, tipare arhitecturale și linii directoare de siguranță a tipurilor pentru scrierea codului sursă Swift. Oferă un framework pentru menținerea unui cod curat și ușor de întreținut prin convenții stabilite și reguli de formatare. Ghidul prioritizează compoziția în detrimentul moștenirii claselor, favorizând tipurile de valoare și clasele „final”. Stabilește o politică pentru controlul accesului în vederea gestionării limitelor dintre logica internă și componentele externe prin modificatori de vizibilitate expliciți. Standardele acoperă optimizarea siguranței tipurilor prin binding-uri imutabile și gestionarea sigură a opționalelor. Domeniile suplimentare includ utilizarea tiparelor de ieșire timpurie (early exit) pentru a optimiza fluxul logic, reducerea verbozității sintaxei și aplicarea unei formatări uniforme a codului.