Awesome Open Source

Programming Languages

Search results for paper haskell

32 search results found

Functional Programming ⭐ 2,568

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Haskell Papers Ereader ⭐ 234

Haskell papers optimized for my e-reader.

Alga Paper ⭐ 170

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

Awesome Open Science ⭐ 114

some links to projects/tools related to "open science".

Fermatslastmargin ⭐ 79

tool for creating and sharing annotations, using github for storage and social network

Reflectionwithoutremorse ⭐ 66

Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection

A library for programming with Algebraic Effects in F#

Why Dependent Types Matter ⭐ 61

Companion code for "Why Dependent Types Matter" paper.

Haskell2014 Papers ⭐ 55

Accepted papers for Haskell 2014

A simplified model of programming in autosar

A Haskell translation of Idris's original algebraic effects library

The Alms Programming Language

An arbitrary-precision differentiable programming language.

Community mini-reviews for scientific papers

Calc Comp ⭐ 27

Coq proofs for the paper "Calculating Correct Compilers"

Fp Notes ⭐ 25

Notes on Functional Programming and related topics

Distiller ⭐ 21

Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

a logic-based trust-management system

Markdown Ieee Pdf ⭐ 17

A skeletal project to convert a paper written in markdown format to IEEE style paper submission in pdf.

Powerseries ⭐ 17

Python Power Series

Compilersfromscratch ⭐ 16

LambdaJam 2013 Workshop

Publishing tools for papers, books, and presentations

Riggedregex ⭐ 11

Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust

FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers

Nominal Lstar ⭐ 10

Code for "Learning nominal automata"

Zipperfs ⭐ 10

Oleg Kiselyov's zipper-based file-server/OS

Attribute Grammars on Graphs

Pure basic library based on math abstractions

Popl18 Lh Prover Artifact ⭐ 6

Artifact for "Towards Complete Verification via SMT"

Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK

Slidingright ⭐ 5

The code for the slidingright paper

prototype of research paper annotation tool

Learn Logict ⭐ 5

Academic Material ⭐ 5

Contains all my assignment, notes, research materials and related stuff (Except few copyrighted papers that I am free to use)

Compiler for the RIPL image processing DSL for FPGAs

Attoparsecpp ⭐ 5

Trying to imitate the elegance of Haskell parsers

Related Searches

Python Paper (6,544)

Jupyter Notebook Paper (1,878)

Deep Learning Paper (1,772)

Haskell Ghc (1,289)

Dataset Paper (1,252)

Pytorch Paper (1,081)

Types Haskell (1,028)

Network Paper (986)

Matlab Paper (969)

Javascript Paper (861)

1-32 of 32 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.