brianberns/KamiSolver brianberns/KamiSolver

  • Stars
    star
    1
  • Language
    F#
  • Created almost 7 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
brianberns/KamiSolver
github

brianberns

Reviews

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

Repository Details

An F# console app that attempts to solve Kami 2 puzzles using brute force with some simple heuristics.

More Repositories

1

RedditChatBot

A framework for chat bots that connect Reddit to ChatGPT.
F#
99
star
2

AlgEff

Algebraic effects
F#
68
star
3

Cfrm

Counterfactual Regret Minimization
F#
27
star
4

FYampaSynth

Modular Synthesizer Programming in F#
F#
21
star
5

ConUom

Unit of measure conversion
F#
18
star
6

FRange

.NET library for working with ranges of values
F#
15
star
7

CompilerDesign

F#
8
star
8

PowerSeries

Power series, power serious
F#
7
star
9

MinGptSharp

A F# .NET TorchSharp port of Andrej Karpathy's minGPT.
F#
7
star
10

ProtobufTest

F#
6
star
11

Bernsrite.Flogic

First-order (predicate) logic for F#
F#
5
star
12

Walrus

Lightweight F# library for tabular data
F#
5
star
13

Znutar

A hobby language for the .NET platform that supports Hindleyโ€“Milner type inference.
F#
4
star
14

ExpressionProblem

C#
4
star
15

Setback

Setback card game. (Also called Auction Pitch.)
F#
4
star
16

Stlc

Simply-typed lambda calculus
F#
2
star
17

ModestGpt

A modest GPT written in F#
F#
2
star
18

AutoDiff

F#
2
star
19

Suave.Dynamic

Loads Suave web parts dynamically.
F#
1
star
20

Tactix

A game of tactics and emojis.
F#
1
star