josefs/Gradualizer

A Gradual type system for Erlang

Language: Erlang - Size: 4.43 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 610 - Forks: 35

josefs/STMonadTrans

Language: Haskell - Size: 67.4 KB - Last synced: 6 days ago - Pushed: 5 months ago - Stars: 10 - Forks: 4

josefs/change-actions

Language: Haskell - Size: 875 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

josefs/monad-ran Fork of ekmett/monad-ran

Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style

Language: Haskell - Size: 117 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

josefs/MoA-ARRAYS

Language: TeX - Size: 3.59 MB - Last synced: 10 months ago - Pushed: about 10 years ago - Stars: 0 - Forks: 2

josefs/reify

Exporing various ways to do monadic reification

Language: Haskell - Size: 152 KB - Last synced: 10 months ago - Pushed: about 11 years ago - Stars: 1 - Forks: 0

josefs/meta-paper

Size: 352 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 1

josefs/feldspar-opencv

Language: Haskell - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/effect-monad-trans

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/splittable

Language: Rust - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/rustyorgan

Language: Rust - Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/pan

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/mdl

Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/gmfrm

Language: Haskell - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/popl2016-papers Fork of gasche/popl2016-papers

Links to publicly available preprints for the POPL'16 conference

Size: 86.9 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/nixpkgs Fork of NixOS/nixpkgs

Nix Packages collection

Language: Nix - Size: 242 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/imperative-edsl Fork of emilaxelsson/imperative-edsl

Deep embedding of imperative programs with code generation

Language: Haskell - Size: 277 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/hl Fork of haskell-infra/hl

Haskell web site

Language: HTML - Size: 2.08 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/vrome

My .vromerc file

Size: 125 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

josefs/CodeExtract

Language: Haskell - Size: 98.6 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 3 - Forks: 1

josefs/DSL-tutorial

Language: Haskell - Size: 156 KB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 6 - Forks: 0

josefs/deep-shallow-paper

Language: Haskell - Size: 113 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 1 - Forks: 1

josefs/hsthrift Fork of facebookincubator/hsthrift

The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.

Size: 3.04 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

josefs/lte-benchmark-code

Language: C - Size: 2.8 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0

josefs/duckling Fork of facebook/duckling

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Size: 6.37 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

josefs/Haxl Fork of facebook/Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language: Haskell - Size: 597 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

josefs/scheme48

A scheme implementation

Language: Haskell - Size: 42 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 1

josefs/unordered-containers Fork of haskell-unordered-containers/unordered-containers

Efficient hashing-based container types

Language: Haskell - Size: 2.04 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

josefs/sbv Fork of yav/sbv

Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

Language: Haskell - Size: 7.8 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

josefs/timezone-olson Fork of ygale/timezone-olson

A pure Haskell parser and renderer for binary Olson timezone files

Language: Haskell - Size: 148 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

josefs/deepseq Fork of haskell/deepseq

Deep evaluation of data structures

Language: Haskell - Size: 113 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

josefs/evensen

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

josefs/LL

Linear Logic and Resource-Aware Functional Programming

Language: Haskell - Size: 93.8 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 1 - Forks: 4

josefs/erlang-mocking

Experiments with mocking libraries in Erlang

Language: Erlang - Size: 726 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

josefs/prometheus Fork of prometheus/prometheus

The Prometheus monitoring system and time series database.

Language: Go - Size: 36.8 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

josefs/nontermination

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

josefs/cow

My solutions to Challenge Of the Week

Language: Haskell - Size: 2.18 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

josefs/AbstractingDefinitionalInterpreters

A Haskell transliteration of the paper Abstracting Definitional Interpreters

Language: Haskell - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

josefs/erlang-stream-test

Size: 0 Bytes - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

josefs/josefs.github.io

A webpage on github

Language: HTML - Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

josefs/Continuations

Size: 117 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

josefs/bnfc Fork of BNFC/bnfc

BNF Converter

Language: TeX - Size: 5.21 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

josefs/pmonadtrans

Language: Haskell - Size: 27.3 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

josefs/AFPcourse Fork of AFPChalmers15/AFPcourse

http://www.cse.chalmers.se/edu/course/afp/

Language: Haskell - Size: 6.67 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

josefs/LambdaQuoter

Language: Haskell - Size: 102 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 1 - Forks: 0

josefs/ContT

Language: TeX - Size: 407 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

josefs/pandoc Fork of jgm/pandoc

Universal markup converter

Language: Haskell - Size: 20.8 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 2 - Forks: 1

josefs/pandoc-templates Fork of adityam/pandoc-templates

Templates for pandoc

Size: 241 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

josefs/ml-perf

Language: Haskell - Size: 133 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

josefs/Idris-dev Fork of idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 18.8 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

josefs/dotfiles

Language: Haskell - Size: 1.48 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

josefs/ContextFree

Language: Haskell - Size: 117 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

josefs/unrolled

Language: Haskell - Size: 1.11 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

josefs/LRDerive

Language: TeX - Size: 7.05 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

josefs/bktrees

bktrees: A set data structure with approximate searching

Language: Haskell - Size: 617 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

josefs/MiniDSL

An experiment in

Language: Haskell - Size: 176 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

josefs/RangeProve

Proving the correctness of range propagation functions using an SMT solver

Language: Haskell - Size: 133 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

josefs/feldspar-engineering-units

A port of the engineering units package to Feldspar

Size: 129 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

josefs/engineering-units Fork of tomahawkins/engineering-units

A numeric type to automatically manage engineering units in Haskell.

Language: Haskell - Size: 66.4 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

josefs/MoA

An implementation of "Mathematics of Arrays" in Feldspar

Size: 129 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

josefs/Haskell-MMorph-Library Fork of Gabriella439/Haskell-MMorph-Library

Monad morphisms

Language: Haskell - Size: 134 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

josefs/OIL

BNFC implementation of the OSEK Implementation Language

Size: 121 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 1

josefs/synchrone

Implementation of the paper "A Co-iterative Characterization of Synchronous Stream Functions" by Caspi and Pouzet

Language: Haskell - Size: 379 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

josefs/ligature

Expanding ligatures in unicode text

Language: Haskell - Size: 109 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0