hinamizawa's starred repositories

PowerToys

Windows system utilities to maximize productivity

ExplorerPatcher

This project aims to enhance the working environment on Windows

Language:CLicense:GPL-2.0Stargazers:22940Issues:243Issues:1810

ILSpy

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

Scoop

A command-line installer for Windows.

Language:PowerShellLicense:NOASSERTIONStargazers:20438Issues:241Issues:2888

zhao

【编程随想】整理的《太子党关系网络》,专门揭露赵国的权贵

Language:PythonLicense:GPL-3.0Stargazers:13435Issues:710Issues:508

ConEmu

Customizable Windows terminal with tabs, splits, quake-style, hotkeys and more

Language:C++License:BSD-3-ClauseStargazers:8509Issues:231Issues:2435

lisp-koans

Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.

Language:Common LispLicense:Apache-2.0Stargazers:3097Issues:136Issues:40

clojure-cookbook

This is the home of O'Reilly's Clojure Cookbook - http://clojure-cookbook.com

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustLicense:BSD-3-ClauseStargazers:1962Issues:55Issues:1558

waifu-diffusion

stable diffusion finetuned on weeb stuff

Language:PythonLicense:AGPL-3.0Stargazers:1940Issues:28Issues:18

awesome-pinned-gists

📌✨ A collection of awesome dynamic pinned gists for GitHub

FlutterWhatsAppClone

Building a WhatsApp Clone in Flutter.

the-power-of-prolog

Introduction to modern Prolog

cl-cookbook

The Common Lisp Cookbook

Language:JavaScriptLicense:NOASSERTIONStargazers:913Issues:46Issues:175

ngaArchive

nga论坛帖子的存档

Language:PythonLicense:MITStargazers:452Issues:5Issues:5

matcher-combinators

Library for creating matcher combinator to compare nested data structures

Language:ClojureLicense:NOASSERTIONStargazers:451Issues:754Issues:69

DSLsofMath

Domain-Specific Languages of Mathematics

Language:HaskellLicense:BSD-3-ClauseStargazers:407Issues:20Issues:43

ShiguReader

硬核宅宅资源管理器. Ultimate Manga Resource Manager

Language:JavaScriptLicense:MITStargazers:398Issues:4Issues:83

cljstyle

A tool for formatting Clojure code

Language:ClojureLicense:EPL-1.0Stargazers:293Issues:7Issues:70

clojure-protobuf

Google protocol buffers wrapper for Clojure.

Language:ClojureLicense:EPL-1.0Stargazers:217Issues:10Issues:43

lsp-wl

A Wolfram Language Server

Language:MathematicaLicense:MITStargazers:213Issues:11Issues:72

nano-id

A unique string ID generator for Clojure and ClojureScript (・_・)ノ

Language:ClojureLicense:MITStargazers:188Issues:4Issues:8

clpz

Constraint Logic Programming over Integers

flipflip

Random slideshow of local images. Electron app for Mac/Windows/Linux

Language:TypeScriptLicense:MITStargazers:155Issues:14Issues:216

onscripter-ru

ONScripter-RU game engine

Language:C++License:NOASSERTIONStargazers:86Issues:10Issues:0

protobuf

A Clojure interface to Google's protocol buffers

Language:ClojureLicense:EPL-1.0Stargazers:72Issues:6Issues:39

swipldcgtut

A tutorial for DCG's in swi-Prolog

whorl

Generate unique fingerprints for Clojure data structures

Language:ClojureStargazers:14Issues:3Issues:0

braids

TikZ package for drawing braids

Language:TeXStargazers:6Issues:0Issues:0

rotman_at

Solutions to Rotman's Introduction to Algebraic Topology