fangyi-zhou/pallvm fangyi-zhou/pallvm

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    OCaml
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fangyi-zhou/pallvm
github

fangyi-zhou

Reviews

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

Repository Details

Pascal to LLVM compiler

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

setup-agda-action

5
star
5

OLint

OCaml
3
star
6

KarnaughMapGenerator

A Karnaugh Map generator for sequential circuit design (with 3 D-flip-flops)
Java
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

mpst-in-agda

Agda
2
star
10

actions-ocaml

TypeScript
2
star
11

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
12

advent-of-code

OCaml
2
star
13

LambdaCalculus

A simple lambda calculus implementation in Haskell
Haskell
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

fangyi-zhou.github.io

https://fangyi.io
HTML
1
star
22

mpstmacros

Macros for Multiparty Session Types
TeX
1
star