xnning
Follow
-
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedApr 21, 2023 -
dex-lang Public
Forked from google-research/dex-langResearch language for array processing in the Haskell/ML family
-
-
EvEff Public
Efficient Haskell effect handlers based on evidence translation.
-
jax Public
Forked from jax-ml/jaxComposable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Python Apache License 2.0 UpdatedJul 18, 2021 -
MpEff Public
Efficient effect handlers based on Evidence Passing Semantics.
-
-
icfp2020-papers Public
Forked from llelf/icfp2020-papersICFP 2020 papers. Crowd-sourced
UpdatedJun 24, 2020 -
Row-and-Bounded-via-Disjoint Public
Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
-
Consistent-Subtyping-for-All Public
Haskell implementation and Coq proof for an implicit polymorphic gradual type system.
-
madoko Public
Forked from koka-lang/madokoMadoko is a fast markdown processor for high quality academic and technical articles
HTML Other UpdatedFeb 15, 2020 -
haskell-trainings Public
Forked from google/haskell-trainingsHaskell 101 and 102: slides and codelabs
-
Notes and Exercises for the book Haskell Programming from First Principles
-
dependent-types-in-haskell Public
Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
-
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…
Haskell Other UpdatedNov 11, 2018 -
haddock Public
Forked from haskell/haddockHaskell Documentation Tool
HTML Other UpdatedSep 14, 2018 -
GHC-Core-Literature-Review Public
Literature review of GHC's Core language, System FC
-
hugo-academic Public
Forked from HugoBlox/hugo-blox-builderThe website designer for Hugo. Build and deploy a beautiful website in minutes 🚀
-
TypeInfer Public
Type inference for 'type level computation one step at a time'
-
Exercises of book Software Foundation
-
-
popl2017-papers Public
Forked from gasche/popl2017-papersLink to preprints for POPL'17 and co-located events
UpdatedMar 31, 2017 -
scala-xml Public
Forked from scala/scala-xmlThe standard Scala XML library.
Scala BSD 3-Clause "New" or "Revised" License UpdatedMar 31, 2017 -
-
type-driven-develop Public
Exercise Solution for the book Type Driven Development with Idris
-
PokemonGo-Bot Public
Forked from PokemonGoF/PokemonGo-BotThe Pokemon Go Bot, baking with community.
Python UpdatedAug 10, 2016 -
FunImpl Public
Forked from bixuanzju/FunImplMaterials of the draft paper "Type-level Computation One Step at a Time"
-
fcore Public
Forked from hkuplg/fcoreResearch middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
Haskell BSD 2-Clause "Simplified" License UpdatedNov 6, 2015 -