Skip to content
View igstan's full-sized avatar

Organizations

@wurbe @eloquentix @bucharestfp @bucharest-ml @bucharest-scala

Block or report igstan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Constraint programming language embedded in Racket

Racket 153 33 Updated Sep 17, 2021

Neural Guided Constraint Logic Programming for Program Synthesis

Python 93 9 Updated Dec 30, 2018

📝 Today I Learned

Vim Script 13,686 752 Updated Mar 11, 2025

This demo shows a multi-turn conversation with an AI agent running inside a Temporal workflow.

Python 149 22 Updated Mar 3, 2025

A Simple showcase for the Sea-of-Nodes compiler IR

Java 512 38 Updated Mar 10, 2025

Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core …

HTML 653 64 Updated Sep 1, 2024

Generate random messages based on their BNF definition

Go 56 1 Updated Jan 15, 2023

Manas Handbook

CSS 22 12 Updated Feb 20, 2025

The BusTub Relational Database Management System (Educational)

C++ 4,284 1,844 Updated Mar 10, 2025

A simple OS kernel for research, teaching, and fun.

C 824 110 Updated Apr 19, 2024

Userspace eBPF VM

C 870 146 Updated Mar 11, 2025

Presentations and docs

976 164 Updated Sep 20, 2022

Experiments with eBPF bytecode

Haskell 12 4 Updated Feb 25, 2024

Mold: A Modern Linker 🦠

C++ 14,942 492 Updated Mar 12, 2025

Linux kernel source tree

C 189,416 55,401 Updated Mar 11, 2025

The K language

JavaScript 6 2 Updated Sep 17, 2015

Rewrite of the core utilities

C 2 Updated Jul 7, 2021

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Python 40,004 6,563 Updated Dec 9, 2024

The Systematic Philosophy Platform🦉

TypeScript 70 15 Updated Mar 10, 2025

A Kubernetes Query Language

Go 1,138 20 Updated Mar 12, 2025

A language server for Bash

TypeScript 2,277 132 Updated Mar 11, 2025

Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

C 13,964 1,477 Updated Mar 8, 2025

Systems language with linear types and capability-based security.

OCaml 1,176 44 Updated Jun 24, 2024

A data and code editor that feels like a spreadsheet.

HTML 156 7 Updated Jun 2, 2024

Civilizational Bootstraper: landing page and wiki

HTML 363 9 Updated Oct 10, 2024

The Self-hosted AI Starter Kit is an open-source template that quickly sets up a local AI environment. Curated by n8n, it provides essential tools for creating secure, self-hosted AI workflows.

7,289 1,524 Updated Feb 17, 2025

A Datalog implementation with an OCaml inspired module system

OCaml 44 Updated Sep 19, 2018

Access large language models from the command-line

Python 6,517 380 Updated Mar 10, 2025

Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.

Forth 291 13 Updated Aug 18, 2022

A from-scratch experimental AOT JS engine, written in JS

JavaScript 3,296 64 Updated Mar 10, 2025
Next