Beast code in Giters

shiranui9231's starred repositories

cppfront

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

Language:C++NOASSERTION534100

axiom

Axiom is a free, open source computer algebra system

Language:PostScript35800

coq-in-coq

A formalisation of the Calculus of Constructions

Language:CoqLGPL-2.16200

cursor

The AI Code Editor

2093100

misskey

🌎 An interplanetary microblogging platform 🚀

Language:TypeScriptAGPL-3.0974600

thor

Thor is a toolkit for building powerful command-line interfaces.

Language:RubyMIT511300

nokogiri

Nokogiri (鋸) makes it easy and painless to work with XML and HTML from Ruby.

Language:CMIT612100

daru

Data Analysis in RUby

Language:RubyBSD-2-Clause103500

rubyXL

Ruby lib for reading/writing/modifying .xlsx and .xlsm files

Language:HTMLMIT126400

sidekiq

Simple, efficient background processing for Ruby

Language:RubyNOASSERTION1308200

grape

An opinionated framework for creating REST-like APIs in Ruby.

Language:RubyMIT986800

resque

Resque is a Redis-backed Ruby library for creating background jobs, placing them on multiple queues, and processing them later.

Language:RubyMIT941100

rmagick

Ruby bindings for ImageMagick

Language:C++MIT70200

prawn

Fast, Nimble PDF Writer for Ruby

Language:RubyNOASSERTION464200

compiler

Pawn compiler for SA-MP with bug fixes and new features - runs on Windows, Linux, macOS

Language:CNOASSERTION29900

leiningen

Moved to Codeberg; this is a convenience mirror

Language:ClojureNOASSERTION729200

rubygame

[ABANDONED] Flexible cross-platform game programming library for Ruby

Language:RubyLGPL-2.122300

ruby2d

🎨 The Ruby 2D gem

Language:RubyMIT64100

shoes4

Shoes 4 : the next version of Shoes

Language:RubyNOASSERTION158800

gosu

2D game development library for Ruby and C++

Language:C++NOASSERTION199500

ForaysIntoNorrendrin

A streamlined roguelike with deeply tactical combat.

Language:C#NOASSERTION4900

SquidLib

Useful tools for roguelike, role-playing, strategy, and other grid-based games in Java. Feedback is welcome!

Language:JavaNOASSERTION44900

SquidSquad

Several loosely-connected libraries for procedural generation and roguelikes. Parent repo.

Language:JavaApache-2.03300

libgdx

Desktop/Android/HTML5/iOS Java game development framework

Language:JavaApache-2.02305200

rebel-game-engine

A 3D game engine using C with Lisp scripting

Language:CMIT3200

ollama

Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.

Language:GoMIT8441500

fengyun-123

风云1-3 漫画; Fung Wan Comics;

Language:Python1700

zuo

A tiny Racket for scripting

Language:CNOASSERTION25800

libER

ELDEN RING API library with a focus on binary compatibility and safety

Language:C++NOASSERTION4000

scheme-to-llvm

A compiler to compile a simple subset of scheme to LLVM 10

Language:Scheme10700