An irrelevant project where I keep various code I wrote while learning
☆171Jan 6, 2026Updated last month
Alternatives and similar repositories for playground
Users that are interested in playground are comparing it to the libraries listed below
Sorting:
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- Concatenative relational interpreter in miniKanren☆22May 11, 2015Updated 10 years ago
- My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.☆28Sep 15, 2011Updated 14 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Dec 18, 2017Updated 8 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
- Калькулятор на python / kivy☆12Oct 1, 2021Updated 4 years ago
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago
- An extended version of QFileSystemModel with access to parent directory☆12Feb 27, 2019Updated 7 years ago
- Hide rhythmbox to systray when the quit button is clicked. Do not create systray icon, instead integrate nicely into cinnamon.☆13Dec 23, 2014Updated 11 years ago
- MMMG: A Massive, Multidisciplinary, Multi-Tier Generation Benchmark for Text-to-Image Reasoning [NeurIPS 2025 Poster]☆23Dec 10, 2025Updated 2 months ago
- Statistics and Visualization of acceptance rate, main keyword of CVPR 2020 accepted papers for the main Computer Vision conference (CVPR)☆33May 24, 2021Updated 4 years ago
- Solutions to Introduction to Algorithms☆9,601Oct 15, 2023Updated 2 years ago
- Solutions to "Introduction to Algorithm, 3rd Edition"☆294Nov 25, 2014Updated 11 years ago
- Multi Stopwatch for Python☆12Sep 28, 2019Updated 6 years ago
- Bindings for libsystemd-daemon☆18Mar 25, 2024Updated last year
- USB HID host demo for STM32F4 Discovery : gcc + make☆12Jan 28, 2013Updated 13 years ago
- Create React App + tailwindcss. enabled jit mode.☆10Oct 5, 2021Updated 4 years ago
- e-Devlet Alt-Üst Soy Bilgisi Sorgulama sayfasındaki verileri ağaç şeklinde görselleştiren tarayıcı eklentisi☆10Nov 24, 2020Updated 5 years ago
- Deep Learning for HAR: models and tools for Human Activity Recognition from IMU sensor (accelerometer, gyroscope) data☆10Sep 16, 2020Updated 5 years ago
- DO NOT EDIT THE CONTENTS OF THIS REPO DIRECTLY! Publicly available materials that are used in the Data 8 Foundations of Data Science cour…☆13Oct 9, 2024Updated last year
- Mastering Java EE Development with WildFly, published by Packt☆12Jan 30, 2023Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Code and performance tests to demonstrate the COUNTLESS algorithm. https://medium.com/@willsilversmith/countless-high-performance-2x-down…☆10Oct 23, 2019Updated 6 years ago
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- Extremely basic X11 compositing window manager written in C with Xlib and OpenGL.☆41Apr 13, 2022Updated 3 years ago
- vintage theme for the helix editor☆10Jan 28, 2024Updated 2 years ago
- Manage your dynamic workspaces from the panel Elementary OS☆10Oct 27, 2023Updated 2 years ago
- Easy ArchLinux install with full-disk encryption.☆12Oct 9, 2020Updated 5 years ago
- real-time ambient audio synthesizer☆11Jun 22, 2018Updated 7 years ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Documentation and quickstart for TempleOS and HolyC☆11Jun 25, 2019Updated 6 years ago
- ☆10Aug 13, 2019Updated 6 years ago
- Simple Chrome Extension to Add Check Marks in Gmail ✓✓☆11May 3, 2018Updated 7 years ago
- Triquetrum project☆13Oct 6, 2021Updated 4 years ago
- A Debug Console for Qt QML☆22Jan 8, 2018Updated 8 years ago
- Work from the book 'Advanced Python for Biologists'☆12Sep 12, 2018Updated 7 years ago
- An app that displays upcoming events in both app form and widget form☆12Jun 15, 2014Updated 11 years ago
- Wishbone bridge over SPI☆11Nov 13, 2019Updated 6 years ago
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago