Smaug123/fsharp-vectors Smaug123/fsharp-vectors

  • Stars
    star
    5
  • Rank 2,782,408 (Top 57 %)
  • Language
    F#
  • License
    MIT License
  • Created about 4 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Smaug123/fsharp-vectors
github

Smaug123

Reviews

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

Repository Details

Type-safe vectors in F#

More Repositories

1

ClassicalCiphers.jl

Julia classical ciphers suite
Julia
9
star
2

agdaproofs

Mathematical proofs in Agda
Agda
4
star
3

WoofWare.Myriad

Some Myriad source generators for F#
F#
3
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