fangyi-zhou/FluidTypes fangyi-zhou/FluidTypes

  • This repository has been archived on 16/Mar/2022
  • Stars
    star
    11
  • Rank 1,635,649 (Top 34 %)
  • Language
    F#
  • License
    MIT License
  • Created about 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fangyi-zhou/FluidTypes
github

fangyi-zhou

Reviews

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

Repository Details

Simple Refinement types for F#. No longer maintained.

More Repositories

1

graphviz-dot-parser

Rust
7
star
2

factorio-nuclear-power

A simple calculator for factorio power plant
TypeScript
6
star
3

setup-agda-action

5
star
4

OLint

OCaml
3
star
5

KarnaughMapGenerator

A Karnaugh Map generator for sequential circuit design (with 3 D-flip-flops)
Java
3
star
6

pallvm

Pascal to LLVM compiler
OCaml
3
star
7

covid19-england

Deprecated - Please use the app provided by gov.uk at https://www.arcgis.com/apps/opsdashboard/index.html#/f94c3c90da5b4e9f9a0b19484dd4bb14
TypeScript
2
star
8

RegisterMachine

Haskell
2
star
9

tex-renderer

On-demand tex rendering. Try it at http://tex.fangyi.io/render/[github-user]/[repo]/path/to/your/tex/file.tex
TypeScript
2
star
10

LambdaCalculus

A simple lambda calculus implementation in Haskell
Haskell
2
star
11

mpst-in-agda

Agda
2
star
12

actions-ocaml

TypeScript
2
star
13

advent-of-code

OCaml
2
star
14

mpst-tracing

Go
1
star
15

sudoku-z3

A Sudoku Solver with Z3
Python
1
star
16

advent-of-code-2022

Elixir
1
star
17

bib-downloader

Python
1
star
18

ScribbleCodeGenOCaml

OCaml
1
star
19

Trans-Legal-Cases

Summarising important legal cases about transgender rights in England and Wales
1
star
20

xbox

A box in X
C
1
star
21

mpstmacros

Macros for Multiparty Session Types
TeX
1
star
22

fangyi-zhou.github.io

https://fangyi.io
HTML
1
star