Skip to content
View prescientmoon's full-sized avatar
🗞️
Spreading lambda calculus propaganda
🗞️
Spreading lambda calculus propaganda
  • Romania

Organizations

@mateiadrielrafael @starlitcanopy

Block or report prescientmoon

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

Starred repositories

Showing results

A FUSE filesystem intended to be used like Apache mod_rewrite

C 126 8 Updated Oct 3, 2021

The libunibreak library

C 192 42 Updated Mar 13, 2025

A library for complex text layout

C 296 71 Updated Aug 27, 2025

kb single-header C/C++ libraries

C 697 12 Updated Jul 19, 2025

Symbolic execution tool

Python 3,793 485 Updated Sep 5, 2025

A menagerie of cute implementations of modern typechecking algorithms

Rust 311 10 Updated Sep 9, 2025
JavaScript 1 Updated Jul 31, 2025
TypeScript 1 Updated Jul 31, 2025

Pure Python implementation of the squarify treemap layout algorithm

Python 322 37 Updated Mar 29, 2025

Import all nix files in a directory tree.

Nix 65 2 Updated Jul 18, 2025

Open-source cross-platform iOS app sideloader (yep, even Linux is supported). Alternative to Sideloadly, AltServer, SideServer, Cydia Impactor, iOS App Signer…

D 687 74 Updated Aug 25, 2025

Typed interactions with the GitHub API v3

Python 7,516 1,854 Updated Sep 12, 2025

A command-line murder mystery

5,922 1,288 Updated Sep 21, 2023

All my keyboard-related adventures

PureScript 3 2 Updated May 27, 2025

👹 A library for hierarchical names and lexical scoping

OCaml 26 4 Updated Aug 12, 2025

Generate a Nix derivation on the fly using an LLM

Python 27 Updated Jun 14, 2025

A tool for pinning (and updating) external dependencies on NixOS configurations.

Rust 3 Updated Sep 14, 2025

Standard folder structure for Nix projects

Nix 286 19 Updated Aug 16, 2025

Hunt down social media accounts by username across social networks

Python 68,672 7,962 Updated Sep 16, 2025

Haskell library for the Microsoft Language Server Protocol

Haskell 402 97 Updated Aug 26, 2025

🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.

Haskell 150 2 Updated Jun 22, 2025

A file format-agnostic static site generator

Rust 16 1 Updated Sep 20, 2024

A proposal to restrict sites from accessing a users' local network without permission

Bikeshed 233 13 Updated Sep 12, 2025

A scrollable-tiling Wayland compositor.

Rust 11,265 420 Updated Sep 16, 2025

Pure and reproducible nix overlay of binary distributed rust toolchains

Nix 1,260 81 Updated Sep 16, 2025

An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

Lua 23,175 1,521 Updated Sep 15, 2025

Simple animated GIF screen recorder with an easy to use interface

Vala 10,536 333 Updated Aug 30, 2025

My NixOS config for use on my systems.

Nix 22 Updated Sep 15, 2025

A module collection for Hjem. [Maintainers=@Lunarnovaa, @nezia1]

Nix 63 18 Updated Sep 15, 2025
Next