Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View idsardi's full-sized avatar

Block or report idsardi

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Haskell implemented with combinators

Haskell 683 65 Updated Jan 26, 2026

Files related to vibe-coding the "Search vs Decision for S2P" paper.

TeX 1 Updated Jan 2, 2026

🎵 BEAT - Semantic Raw Format (SRF) Standard

JavaScript 5 Updated Dec 24, 2025

ISLisp interpreter/compiler

Common Lisp 324 28 Updated Jan 18, 2026

Haskell Active Automata Learning library

Haskell 16 Updated Dec 2, 2025

Lightning-Fast, On-Device, Multilingual TTS — running natively via ONNX.

C++ 2,531 232 Updated Jan 22, 2026

DeepClause Desktop App

JavaScript 81 4 Updated Jan 15, 2026

Mirror of Entropic's Entropic Signal Processing System version 6.0 (with modifications)

C 12 4 Updated Jul 4, 2011
Haskell 1 Updated Nov 14, 2025

A Privacy First PDF Toolkit

JavaScript 10,884 839 Updated Jan 28, 2026

Recurrent Neural Networks for Robotic Motor Skill Acquisition: A Laplace-Domain Analysis of Multi-Axis Motion Control

Python 4 Updated Nov 2, 2025

Turn a Raspberry Pi into a white noise generator

Shell 40 3 Updated Dec 2, 2019

Software to turn a Raspberry Pi into a Digital Camera

Python 3 Updated Mar 13, 2023

3D Printable Retro-style Raspberry Pi HQ Camera

518 45 Updated Apr 7, 2024

A custom pi zero camera

Python 42 4 Updated Jan 28, 2026

Handheld camera software for raspberry pi

Python 5 Updated Jan 28, 2026

Collection of software components for development of open source cinema camera using raspberry pi hardware and software.

124 7 Updated Jul 27, 2024

writerdeckOS: Converts any 64-bit PC (amd64) based laptop into a writer deck, or a device solely designed around distraction free writing.

Shell 123 2 Updated Oct 13, 2025

Constraint Logic Programming over Finite Domains

Prolog 188 13 Updated Jan 7, 2020

A universal symbolic compression engine for recursive, irreducible, and predictive structures.

Python 3 1 Updated Apr 10, 2025

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Rust 3,834 129 Updated Dec 4, 2024

Quality-of-life for fiddly little JS apps that modify user-generated text

TypeScript 20 2 Updated Jan 19, 2025

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Python 32,406 2,267 Updated Jan 28, 2026

OlympusAir Python interface

Python 13 3 Updated Sep 10, 2016

A collection of programs for the Olympus Air A01 OPC

Python 19 4 Updated Jan 10, 2017

Awesome multilingual OCR toolkits based on PaddlePaddle (practical ultra lightweight OCR system, support 80+ languages recognition, provide data annotation and synthesis tools, support training and…

Python 54 4 Updated Aug 27, 2025

Readest is a modern, feature-rich ebook reader designed for avid readers offering seamless cross-platform access, powerful tools, and an intuitive interface to elevate your reading experience.

TypeScript 16,787 915 Updated Jan 28, 2026
Next