Formalizations of Gödel's Ontological Proof of God's Existence

A silly 4D physics simulation.

A few essays on communism

🖱️ Generate human-like mouse movements with puppeteer or on any 2D plane

Plutus Experience Modules

Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023

A UI library based on the incremental lambda calculus

Grok open release

A web standards-compliant, high-performance rendering engine based on Flutter.

Documentation for the purescript-deku project

PureScript core tools in Nix

🚀 Beautiful, fast and modern React UI library.

Type-dependent machine learning & linear algebra & auto backprop

Experimental TodoMVC implementation in Idris2 using rhone-js

Hackable NixOS container

Tool set for Information security professionals and all others

**About Run WPS PIN attacks (Pixie Dust, online bruteforce, PIN prediction) without monitor mode with the wpa_supplicant**

Hack wifi using termux (rooted).

MOVED TO https://github.com/nixos-asia/website and https://github.com/flake-parts/community.flake.parts

A `flake-parts` module to spin up processes for development by leveraging `process-compose`

Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.

Development Tools and Templates 🛠️ ⚙️ 🔭 ❄️⛷️

Demonstration on how to use flutter with Nix

Opensource IDE For Exploring and Testing Api's (lightweight alternative to postman/insomnia)

The release repo for "Vicuna: An Open Chatbot Impressing GPT-4"

A Nix flake for many AI projects

a reactive Clojure dialect for web development that uses a compiler to manage the frontend/backend boundary