Pinned Loading

1. riveros_obras_completas riveros_obras_completas Public

   Compilación de las investigaciones completas de Oscar Riveros, reunidas en un único volumen tipográfico: 24 obras / 23 manuscritos integrados íntegramente desde PDF, más El Pliegue Mínimo en compos…

   2

2. LisPy LisPy Public

   Complete ANSI Common Lisp interpreter implemented as a single portable C file with an embedded CPython FFI bridge — call Python from Lisp and Lisp from Python in the same process.

   C 2

3. General-Epistemic-Geometry General-Epistemic-Geometry Public

   General Epistemic Geometry is a formal treatise proposing a unified geometric framework for the representation, compilation, verification, and limitation of scientific knowledge under finite resour…

   Python 2

4. EPISTEMIC-GEOMETRY EPISTEMIC-GEOMETRY Public

   FINITE VERIFICATION, CURVATURE, AND STRUCTURAL OBSTRUCTIONS ACROSS LOGIC, COMPUTATION, AND PHYSICS.

   2

5. Frontier-Research Frontier-Research Public

   Frontier Research (4 Fun)

   2

6. SLIME SLIME Public

   SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.

   C++ 7