fangyi-zhou/setup-agda-action fangyi-zhou/setup-agda-action

  • Stars
    star
    5
  • Rank 2,774,012 (Top 57 %)
  • Language
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fangyi-zhou/setup-agda-action
github

fangyi-zhou

Reviews

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

Repository Details

More Repositories

1

FluidTypes

Simple Refinement types for F#. No longer maintained.
F#
11
star
2

graphviz-dot-parser

Rust
7
star
3

factorio-nuclear-power

A simple calculator for factorio power plant
TypeScript
6
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