dotvariantA type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
Stars: ✭ 52 (-64.63%)
scala-3-crash-courseScala 3 workshop presenting the top new features of the language.
Stars: ✭ 34 (-76.87%)
recursive-variantRecursive Variant: A simple library for Recursive Variant Types
Stars: ✭ 67 (-54.42%)
union-paysimplest union pay(银联支付)
Stars: ✭ 32 (-78.23%)
FlueYep, another Flux implementation for Vuejs. Docs: https://francescosaveriozuppichini.github.io/Flue/header.html
Stars: ✭ 13 (-91.16%)
StructuresCollection of abstract data structures implemented in Java
Stars: ✭ 99 (-32.65%)
pathoscorepathoscore evaluates variant pathogenicity tools and scores.
Stars: ✭ 21 (-85.71%)
flux-reduxAn application implementing Flux and Redux with few other dependencies
Stars: ✭ 24 (-83.67%)
fluxiny~1K implementation of flux architecture
Stars: ✭ 77 (-47.62%)
CuteVCFsimple viewer for variant call format using htslib
Stars: ✭ 30 (-79.59%)
abap-adt-apiAbap Developer Tools client
Stars: ✭ 25 (-82.99%)
tt-in-cubicalType Theory in Type Theory using Cubical Agda
Stars: ✭ 12 (-91.84%)
needlestackMulti-sample somatic variant caller
Stars: ✭ 45 (-69.39%)
ReduxSharpUnidirectional Data Flow in C# - Inspired by Redux
Stars: ✭ 18 (-87.76%)
ordoOrdo: A minimalist language with row polymorphism
Stars: ✭ 50 (-65.99%)
vcf stuff📊Evaluating, filtering, comparing, and visualising VCF
Stars: ✭ 19 (-87.07%)
mutableState containers with dirty checking and more
Stars: ✭ 32 (-78.23%)
rocket-pipesPowerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
Stars: ✭ 18 (-87.76%)
Sunscreen🌅 A macOS app that sets your wallpaper based on sunrise and sunset.
Stars: ✭ 52 (-64.63%)
Idris-HoTTHomotopy Type Theory proofs in Idris
Stars: ✭ 19 (-87.07%)
unreachableUtility function for exhaustiveness checking with typed JS (TS or Flow)
Stars: ✭ 14 (-90.48%)
redux-reducer-asyncCreate redux reducers for async behaviors of multiple actions.
Stars: ✭ 14 (-90.48%)
mafubaSimple state container for react apps.
Stars: ✭ 20 (-86.39%)
variantkeyNumerical Encoding for Human Genetic Variants
Stars: ✭ 32 (-78.23%)
resultsDiscriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs
Stars: ✭ 34 (-76.87%)
spark-vcfSpark VCF data source implementation for Dataframes
Stars: ✭ 15 (-89.8%)
phenomenet-vpA phenotype-based tool for variant prioritization in WES and WGS data
Stars: ✭ 31 (-78.91%)
HarbolHarbol is a collection of data structure and miscellaneous libraries, similar in nature to C++'s Boost, STL, and GNOME's GLib
Stars: ✭ 18 (-87.76%)
tradfri-fluxf.lux-like temp adjustments on IKEA trådfri 💡
Stars: ✭ 18 (-87.76%)
k8s-gitopsHomelab GitOps repository. Cluster definition state via code.
Stars: ✭ 47 (-68.03%)
TypeTopologyLogical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Stars: ✭ 132 (-10.2%)
neutronics-workshopA workshop covering a range of fusion relevant analysis and simulations with OpenMC, DAGMC, Paramak and other open source fusion neutronics tools
Stars: ✭ 29 (-80.27%)
catA categorical semantics library in Agda.
Stars: ✭ 16 (-89.12%)
path semanticsA research project in path semantics, a re-interpretation of functions for expressing mathematics
Stars: ✭ 136 (-7.48%)
fluxFlux, Your Gateway to a Decentralized World. https://home.runonflux.io https://api.runonflux.io https://docs.runonflux.io https://source.runonflux.io https://wiki.runonflux.io
Stars: ✭ 150 (+2.04%)
libvataVATA Tree Automata Library
Stars: ✭ 23 (-84.35%)
civic-serverBackend Server for CIViC Project
Stars: ✭ 39 (-73.47%)
temperjsState management for React, made simple.
Stars: ✭ 15 (-89.8%)
assert-neverHelper function for exhaustive checks of discriminated unions in TypeScript
Stars: ✭ 32 (-78.23%)
cicadaCicada Language
Stars: ✭ 9 (-93.88%)
redrockTypesafe, reactive redux
Stars: ✭ 14 (-90.48%)
ts-unionADT sum type in typescript
Stars: ✭ 65 (-55.78%)
pepperPEPPER-Margin-DeepVariant
Stars: ✭ 179 (+21.77%)
unionfsUse multiple fs modules at once
Stars: ✭ 170 (+15.65%)
plume2🚀a lightweight React state container for web and app
Stars: ✭ 74 (-49.66%)
ONNX.jlRead ONNX graphs in Julia
Stars: ✭ 112 (-23.81%)
shapesafeSHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Stars: ✭ 17 (-88.44%)
SpliceHackAn in-progress nethack variant based on version 3.7. An attempt to build a "kitchen sink" style variant that is easy to pick up and play.
Stars: ✭ 25 (-82.99%)
hermes-jsUniversal action dispatcher for JavaScript apps
Stars: ✭ 15 (-89.8%)
FsCodecF# Event-Union Contract Encoding with versioning tolerant converters supporting System.Text.Json and Newtonsoft.Json
Stars: ✭ 74 (-49.66%)
g3vizLollipop-diagram to interactively visualize genetic mutations
Stars: ✭ 19 (-87.07%)
intervalThis PHP library provides some tools to handle intervals. For instance, you can compute the union or intersection of two intervals.
Stars: ✭ 25 (-82.99%)