• Stars
    star
    1
  • Language
    F#
  • Created almost 6 years ago
  • Updated almost 6 years ago

Reviews

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

Repository Details

Toy SAT solver in F# 🧠

More Repositories

1

portable-cxx

Makefile
23
star
2

buck-cpp-example

A simple example of how to organize a C/C++ project that uses Buck build
Python
11
star
3

buck-single-header

Python
8
star
4

thoth-json-codec

Codec support for Thoth.Json
F#
7
star
5

seq

Useful functions for manipulating JavaScript generators ⛓️
JavaScript
5
star
6

solid-hex

A simple hexagon library using cube-coordinates ⬑
JavaScript
4
star
7

buck-warp

Buck at Warp Speed πŸš€
Python
4
star
8

Lockstep

Java framework for running interactive simulations across a network
Java
4
star
9

MonoTween

A nifty tween library for MonoGame and XNA.
C#
3
star
10

apache-pulsar-demo

Apache Pulsar demo using Buckaroo
C++
3
star
11

thoth-json-ce

Computation Expression for building Thoth.Json decoders
F#
3
star
12

happy-unicorn

Found this weird page on the dark-web πŸ¦„
HTML
2
star
13

mathematical

Mathematical expressions in a lispy syntax. Mathematical!
JavaScript
2
star
14

juices

Making juice! 🍎+πŸ₯•+πŸ†+πŸ₯œ+πŸ‘+...+πŸ₯ = 🍹
2
star
15

buck-include-guards

Generating robust include guards with Buck
Python
2
star
16

bazel2proj

Tool for generating fsproj and csproj files from Bazel build definitions
F#
1
star
17

tweetnacl

A public copy of TweetNaCl
C
1
star
18

giraffe-file-upload

Demonstration of file upload streaming using Giraffe
F#
1
star
19

buck-cells-example

Example showing how to use cells in Buck
C++
1
star
20

fsharp-monorepo

Demonstration of a scalable F# monorepo
Starlark
1
star
21

bytes

It's like String but for bytes.
Java
1
star
22

aseq

Useful functions for manipulating JavaScript async generators
JavaScript
1
star
23

asteroids-fp

Functional game programming experiment
F#
1
star
24

buckaroo-test-nholthaus-units

C++
1
star
25

feliz-ce

Replace React Hooks with higher-order components (HoCs) and Computation Expressions
F#
1
star
26

buckaroo-github-example

An example of a Buckaroo package hosted directly on GitHub
Python
1
star
27

babel-webpack-aws-lambda-boilerplate

Easily use NPM modules & modern JavaScript on AWS Lambda ✌️
JavaScript
1
star
28

buckaroo-test-andrewrk-libsoundio

C++
1
star
29

buck-ycm-example

Example showing how to connect Buck with YouCompleteMe for Vim ✨
Python
1
star
30

mujs-snapshot

MuJS is a lightweight Javascript interpreter designed for embedding in other software to extend them with scripting capabilities.
C
1
star