shnarazk/hal2022

Stars
2
Language GDScript
License
GNU General Publi...
Created almost 3 years ago
Updated 6 months ago

shnarazk/hal2022

shnarazk

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

人工知能学会X周年記念ゲームに基づくIT研究者のキャリアデザインおひとり様ボードゲーム

splr

A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

mios

A SAT solver written in Haskell.

tree-sitter-uiua

Uiua grammar for tree-sitter. Finally, Uiua programmers get AST-based editing features.

tree-sitter-bqn

BQN grammar for tree-sitter

learn-godot

My record of 'Make an Action RPG in Godot 3.2' and 'pixel-platformer' in Godot 4.0

flakes

My flakes over nixpkgs

learn-bqn

配列指向プログラミング言語BQN の始め方(日本語版) -- Learn and write an introduction of BQN, an APL descendant (in Japanese)

learn-axum

Learning Axum framework

advent-of-code

The annual event for computer science enthusiasts!

breakout

A juicy breakout in Rust with Bevy

sudoku_sat

Solving Sudoku variants with SAT solvers

SAT-bench

A benchmark suit for SAT solvers

shnarazk.github.io

A blog built with Zola

dodge-the-bevy

A No-click Game in Rust, with Bevy, imported from Godot tutorial

ddir

Decision Diagrams in Rust

Bup

BQN utility package