sigp/superstruct

Rust library for versioned data types

Language: Rust - Size: 28.6 MB - Last synced at: about 14 hours ago - Pushed at: 11 days 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: 17 days ago - Pushed at: 17 days 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 1 month ago - Pushed at: about 1 month 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: about 1 month ago - Pushed at: 5 months ago - Stars: 92 - Forks: 17

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: 10 days ago - Pushed at: 9 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: 4 months ago - Pushed at: 4 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: 21 days 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: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

sidmall/PDSclassifier

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

kAI-swa/M2ASDA

Manipulate scRNA-seq data with GSASD

Language: Python - Size: 1.5 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

somombo/supertype

Lean Subtypes that have Super powers

Language: Lean - Size: 12.7 KB - Last synced at: 9 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: 12 months ago - Pushed at: about 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: 7 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: about 2 months ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 1

smimram/mlsub

My own implementation of MLsub.

Language: OCaml - Size: 38.1 KB - Last synced at: 12 days 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: over 1 year ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

hobwekiva/leibniz

Leibniz equivalence and Liskov substitutability library for Scala.

Language: Scala - Size: 190 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 36 - Forks: 4

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: over 1 year 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: about 24 hours 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: 18 days 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: 12 months 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: 13 days 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: 11 days 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: 21 days 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