Discover wongjiahau/system-ct Open Source project

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Rust
Created over 2 years ago
Updated over 2 years ago

wongjiahau

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

Implementation of System CT in Rust. Refer "Type Inference for Overloading without Restrictions, Declarations or Annotations". https://link.springer.com/chapter/10.1007/10705424_3

Displaying-XAML

This library is for display the XAML code of theme library for WPF (e.g. MaterialDesignInXamlToolkit)

Clean-Code

Pineapple

Definition for Pineapple language and its compiler

TypeScript

treeman

Rust

TTAP-UTAR

Timetable Arranging Program - UTAR

DialogBoxForMaterialDesignInXamlToolkit

This is the repo to host the source code for MaterialDesign DialogBox that behaves like MessageBox in WinForms.

ttap-web

This is repo for storing codes of TTAP(UTAR)-Web version

TypeScript

custom-jsx-deno-example

TypeScript

Pineapple-Language-Obsoleted

This is a new programming language that focus on readability, typability and learnability.

A typed language (unstable)

Rust

deno-mod-benchmark

TypeScript

analog-clock

Terminal analog-clock

Rust

PROBLEM-SOLVING-WITH-DATA-STRUCTURES-AND-ALGORITHM-UECS2083-UECS2413

Java

random-ideas

OS-Assignment-2017

wireless-app-assignment-v2

JavaScript

advance-web-practical

PHP

software-design-practical-10

Java

Database-Assignment-2

HTML

tumpang-backend

Backend of Tumpang App

TypeScript

.config

My dotfiles that are XDG_CONFIG_HOME compliant.

Lua

mamak-app

JavaScript

VSCode-CollapseExpandEmptyTag

A Visual Studio Code extension for collapsing and expanding empty HTML/XML tag.

TypeScript

resume

data-mining-notebook

Jupyter Notebook

tcpip-assignment

Python

modify-via-query

Natural and type-safe query to mutate a copy of data without changing the original source

TypeScript

data-mining-past-year-ans

my-neovim-config

Lua

wongjiahau/system-ct

wongjiahau

Reviews

Repository Details

More Repositories