Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

Pseudocode descriptions of the algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

Exercises for the book Artificial Intelligence: A Modern Approach

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

A Python Library for Graph Outlier Detection (Anomaly Detection)

Companion code to my O'Reilly book "Flask Web Development", second edition.

A script for checking the hardening options in the Linux kernel config

Minimal supplement to upstream Kernel Self Protection Project changes. Features already provided by SELinux + Yama and archs other than multiarch arm64 / x86_64 aren't in scope. Only tags have stab…

Hardened Debian GNU/Linux distro auditing

Linux Kernel Runtime Guard

LongLLaMA is a large language model capable of handling long contexts. It is based on OpenLLaMA and fine-tuned with the Focused Transformer (FoT) method.

👋 Hey there new grad🎉! We've put together a collection of full-time job openings for SWE, Quant, PM and tech roles in 2024! 🚀

List of Computer Science courses with video lectures.

Open Source Remote Using ESP32 and LVGL

Open-source RAG Framework for building GenAI Second Brains 🧠 Build productivity assistant (RAG) ⚡️🤖 Chat with your docs (PDF, CSV, ...) & apps using Langchain, GPT 3.5 / 4 turbo, Private, Anthropic…

💬 Typebot is a powerful chatbot builder that you can self-host.

🤖 A powerful, open source client-side JavaScript library for ChatGPT

The Linux Kernel Module Programming Guide (updated for 5.x kernels)

Easily migrate your codebase from one framework or language to another.

Simple kernel for learning operating systems. 用于学习操作系统的简单内核

A hardening script for Ubuntu 22.04 x86-64