rbouaf/stlc-subtyping

Introduced subtyping into Simply Typed Lambda Calculus (STLC), allowing for more flexible type assignments following Liskov’s Substitution Principle. We implemented an algorithmically driven type system supporting subtyping, and then expanded it with joins and meets, based on TaPL by Pierce. Final project for COMP 523 @ McGill University

Language: OCaml - Size: 159 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

IBM/jsonsubschema

Tool for checking whether a JSON schema is a subschema of another JSON schema.

Language: Python - Size: 234 KB - Last synced at: 9 days ago - Pushed at: 6 months ago - Stars: 95 - Forks: 18

sigp/superstruct

Rust library for versioned data types

Language: Rust - Size: 28.6 MB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 67 - Forks: 5

dirkriehle/adap-course

A course on advanced object-oriented design and programming

Language: Java - Size: 142 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 8

xBabriele/Java

A repo where i post everything i do in Java.

Language: Java - Size: 118 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

sir-wabbit/leibniz

Leibniz equivalence and Liskov substitutability library for Scala.

Language: Scala - Size: 190 KB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 37 - Forks: 4

CFSAN-Biostatistics/cronology

cronology is an automated workflow for Cronobacter whole genome sequence assembly, subtyping and isolate clustering based on NCBI Pathogen Detection Project for Cronobacter.

Language: Nextflow - Size: 16.2 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 3 - Forks: 2

Catchxu/M2ASDA

Detecting and subtyping anomalous single cells with M2ASDA

Language: Python - Size: 6.22 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

r8vnhill/free-love-scala

Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.

Language: Scala - Size: 22.5 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

AbdelrahmanAboulfotouh/Programming-Languages-Course-University-of-Washington

My homework solutions to the Programming Languages course by University of Washington , that teaches the fundamental concepts and paradigms of programming languages .

Language: Standard ML - Size: 384 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

sidmall/PDSclassifier

Language: R - Size: 10.7 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 1

kAI-swa/M2ASDA

Manipulate scRNA-seq data with GSASD

Language: Python - Size: 1.5 MB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

somombo/supertype

Lean Subtypes that have Super powers

Language: Lean - Size: 12.7 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

marek-bauer/Quotientlike-types-in-Coq

This is a repo of my master's thesis written as part of my studies at the University of Wrocław

Language: Coq - Size: 4.96 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

chrisnevers/bidirectional-typechecking

Bidirectional type checking for predicative System F

Language: OCaml - Size: 604 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0

CDCgov/LpSubP 📦

LpSubP is a rapid subtyping tool for Legionella pneumophila with core gene set

Language: Python - Size: 49.1 MB - Last synced at: 29 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 7

tlinkowski/filterer-pattern-in-10-steps 📦

Filterer Pattern in 10 Steps

Language: Java - Size: 10.7 KB - Last synced at: 18 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 1

smimram/mlsub

My own implementation of MLsub.

Language: OCaml - Size: 38.1 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0

alexj136/gvcalc

An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

Language: Haskell - Size: 45.9 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

OriRoth/treetop

A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.

Language: C# - Size: 44.9 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

tariel-x/polyschema

JSON-Schema based type resolver for golang

Language: Go - Size: 19.5 KB - Last synced at: 1 day ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

rlepigre/subml

SubML (prototype) language

Language: OCaml - Size: 15.5 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 23 - Forks: 2

mbg/hoop

A Haskell library for object-oriented programming

Language: Haskell - Size: 113 KB - Last synced at: 8 days ago - Pushed at: almost 5 years ago - Stars: 7 - Forks: 0

boystrange/FairSubtypingAgda

Agda formalization of fair subtyping for dependent session types

Language: Agda - Size: 3.18 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0

jin/subtyping

An implementation of structural subtyping of records and functions

Language: Haskell - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 13 - Forks: 2

phylo42/sherpas

Screening Historical Events of Recombination in a Phylogeny via Ancestral Sequences

Language: C++ - Size: 26.1 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 3

evolbioinfo/jphmm_tools

Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.

Language: Python - Size: 45.9 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

d-plaindoux/self-type

Talk "Typage dynamique de l'objet courant"

Size: 2.25 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

salvalcantara/flink-events-and-polymorphism

Playground for comparing different strategies for dealing with polymorphic datasets in Flink

Language: Scala - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

Champitoad/LambdaSub

Formalization in Coq of a simply typed λ-calculus extended with records and subtyping.

Language: Makefile - Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

hvvka/scala-playground

Labs from functional and concurrent programming feat. Scala

Language: Scala - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0