Awesome GitHub RepositoriesProgrammatic REPLs

Clojure is a general-purpose, functional programming language hosted on the Java Virtual Machine. It is a homoiconic S-expression language that represents programs as nested data structures, allowing code to be manipulated and evaluated as data. The project provides a framework for JVM interoperability, enabling the invocation of Java methods and integration with other JVM-based languages. It distinguishes itself through a persistent data structure library that uses bitmapped vector tries to manage immutable collections and a programmatic REPL for interactive software development and real-tim

Lean 4 is a functional programming language and interactive proof assistant used to formalize mathematics and verify software correctness. It functions as a dependent type theorem prover and a formal verification tool that allows users to construct mathematical proofs and ensure program correctness. Additionally, it serves as a logic-based source for generating verified datasets used to train and benchmark artificial intelligence reasoning systems. The system distinguishes itself through a small-kernel verification model, where all proofs are verified by a trusted core of basic logical rules.

Pluto.jl este un mediu de calcul reactiv pentru Julia care funcționează ca un format de document programabil. Servește drept IDE interactiv pentru știința datelor și un notebook computațional poliglot care stochează codul Julia și dependențele de mediu ca fișiere sursă versionabile. Sistemul se distinge prin modelul său de execuție reactiv, care utilizează un graf aciclic direcționat pentru a urmări dependențele variabilelor și a re-evalua automat celulele din aval afectate atunci când o valoare se modifică. Asigură reproductibilitatea prin integrarea mediilor de pachete izolate direct în fișierul notebook și persistarea conținutului ca fișiere sursă executabile pure. Platforma acoperă o gamă largă de capabilități, inclusiv vizualizarea interactivă a datelor, crearea de sarcini educaționale ghidate și generarea de site-uri web de documentație statică. Suportă moduri de output diverse, cum ar fi prezentări de tip slideshow și aplicații web, și oferă instrumente pentru exportul notebook-urilor în HTML, PDF și scripturi axate pe reproductibilitate. Mediul poate fi lansat printr-o interfață web pe localhost sau accesat prin servere la distanță și găzduire cloud.