brianberns/Bernsrite.Flogic brianberns/Bernsrite.Flogic

  • Stars
    star
    5
  • Rank 2,771,497 (Top 57 %)
  • Language
    F#
  • Created almost 5 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
brianberns/Bernsrite.Flogic
github

brianberns

Reviews

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

Repository Details

First-order (predicate) logic for F#

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

Walrus

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

Znutar

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

ExpressionProblem

C#
4
star
14

Setback

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

Stlc

Simply-typed lambda calculus
F#
2
star
16

ModestGpt

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

AutoDiff

F#
2
star
18

Suave.Dynamic

Loads Suave web parts dynamically.
F#
1
star
19

KamiSolver

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

Tactix

A game of tactics and emojis.
F#
1
star