Smaug123/WoofWare.Myriad Smaug123/WoofWare.Myriad

  • Stars
    star
    3
  • Rank 3,844,276 (Top 78 %)
  • Language
    F#
  • License
    MIT License
  • Created 12 months ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Smaug123/WoofWare.Myriad
github

Smaug123

Reviews

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

Repository Details

Some Myriad source generators for F#

More Repositories

1

ClassicalCiphers.jl

Julia classical ciphers suite
Julia
9
star
2

fsharp-vectors

Type-safe vectors in F#
F#
5
star
3

agdaproofs

Mathematical proofs in Agda
Agda
4
star
4

managed-git

A managed implementation of Git
F#
3
star
5

CubicalTutorial

Tutorial for Cubical mode in Agda
Agda
3
star
6

gitea-repo-config

A tool to reconcile a Gitea server with a declarative configuration
F#
2
star
7

nix-dotfiles

Dotfiles for my Nix setup
Lua
2
star
8

nix-maui

A hacked-up Nix flake defining a dotnet-plus-MAUI workload
Nix
2
star
9

FicroKanSharp

A microKanren implementation in F#
F#
2
star
10

mysteryhunt2019

Mathematica
1
star
11

raft-fable

F#
1
star
12

fsharp-quine

Baby F# quine.
Nix
1
star
13

advent-of-code-2023

Advent of Code 2023
F#
1
star
14

PulumiConfig

Pulumi configuration defining my infrastructure
Nix
1
star
15

fsharp-red-black-tree

A toy red-black tree, aiming to be as correct as possible by construction
F#
1
star
16

rewriting-technical-mathematica

Rewriting the Technical Interview (https://aphyr.com/posts/353-rewriting-the-technical-interview), in Mathematica
Mathematica
1
star
17

talks

Talks I have given
TeX
1
star
18

ray-tracing-fsharp

Ray Tracing In One Weekend, in F#
F#
1
star