s5bug/flowsolver s5bug/flowsolver

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    C++
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
s5bug/flowsolver
github

s5bug

Reviews

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

Repository Details

Flow (numberlink) puzzle solver written with C++ and Z3

More Repositories

1

discord-intellij

A plugin for interaction between JetBrains IDEs and Discord RPC
Java
24
star
2

sys-script

Controlling the Nintendo Switch with Lisp
C
16
star
3

GlueGD

Patchless, injectionless Geometry Dash mod loader
C++
10
star
4

EmuFish

Extensible emulator framework
F#
7
star
5

fancadedsl

A DSL in Scala for Fancade programs
Scala
6
star
6

jpanlua

Java Foreign Linker bindings to Lua
Java
5
star
7

shinji

Bringing your cats to other Cs
Scala
5
star
8

scolor

A Scala Library for dealing with OTF fonts, specifically for converting color emoji fonts between platforms.
Scala
4
star
9

calculo

Puyo Puyo AI based on the "Playing PuyoPuyo" paper by Ikeda et al.
Zig
4
star
10

aoc

Advent of Code repository
Scala
4
star
11

cxxeffect

An "experiment" to create functional streams in C++
C++
4
star
12

chalkbot

(hopefully) multilingual small utility Discord bot
Java
3
star
13

ledo

Dhall-based Package/Build/Environment manager
Dhall
2
star
14

fish-simulator

fish simulator
C++
2
star
15

walkies-bingo

Walkies Bingo
Svelte
2
star
16

parabox

A test reimplementation of the Patrick's Parabox engine
Scala
2
star
17

pokespwn

A Pokemon-like game written in SPWN for Geometry Dash
2
star
18

zagclear

Transporting Cold Clear over USB
Zig
2
star
19

Speedrun4J

A java wrapper for the Speedrun.com API
Java
2
star
20

P2PClient

P2P Client
Scala
2
star
21

Kh2Codecs

Quick serde of Kh2 messages
C#
2
star
22

dirs

Scala
1
star
23

alymod

Java
1
star
24

TeachingKidsModding

A short list of tasks to teach new programmers Minecraft Modding. ForgeGradle 1.7.10 has to be set up.
Java
1
star
25

zglt

Proof of concept GL loader for zglfw
Zig
1
star
26

kitsune-msd

StepMania -> Champion Island Games Swimming converter
Python
1
star
27

FSharpCalculator

A calculator written in F# with Avalonia FuncUI
F#
1
star
28

aoc2022

oh no
Assembly
1
star
29

srcr

A Speedrun.com API wrapper for Crystal
Crystal
1
star
30

riscv-paper

Researching and aggregating information about RISC-V for my Computer Architecture final paper
TeX
1
star
31

javakinds

Experimenting with HKT encodings
Java
1
star
32

m1-helloworld

Minimal M1 "Hello, world!" example
Assembly
1
star
33

aly.fish

Source code for aly.fish
HTML
1
star
34

CurseCommander

A java window to automatically handle creation of modpacks
Java
1
star
35

discocat

Mirror of https://gitlab.com/dscala/discocat
Scala
1
star
36

MoreJournals

A Celeste mod to appease the statistic tracker inside of me
F#
1
star
37

MazeStuff

A library to generate different types of mazes or to extend to build your own mazes.
Java
1
star