Pinned Loading

1. cicili cicili Public

   Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

   Common Lisp 50

2. ZiguratIP ZiguratIP Public

   Zigurat Informational Platform: A database server, a programming language and a web server as one system, in C++17 with no dependencies. Tables, stored procedures and web pages in the same language…

   C++

3. cocolog cocolog Public

   Cocolog: A Durable Reasoning Engine, a state machine, a Prolog execution runtime in which logical computation state is explicit, position-independent data, enabling computations to be persisted, su…

   Prolog 2

4. cicilang cicilang Public

   Cicilang: Compilation as reasoning over an ever-growing body of knowledge. C/C++ compiler + Rust-like ownership + Cocolog metaprogramming + persistent compiler knowledge + LLVM.

   Prolog

5. thecoco thecoco Public

   The Coco — an intelligent aggregator hub: chains as knowledge bases, consensus as clauses, contracts that learn.

   Prolog

6. Ambitious Ambitious Public

   A Reasoning Native Web Browser.

   C