Awesome Open Source

Programming Languages

Search results for haskell tex

51 search results found

Milewski Ctfp Pdf ⭐ 10,547

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Algoxy ⭐ 5,929

Book of Elementary Functional Algorithms and Data structures

👾 My resume / 我的简历

Granule ⭐ 547

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Texmath ⭐ 262

A Haskell library for converting LaTeX math to MathML.

Selective ⭐ 201

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

Alga Paper ⭐ 170

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

Haskellmooc ⭐ 141

"Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October 2016

Concise Cheat Sheets ⭐ 108

Cheat Sheets for programming languages and tools

Discussion about proposed changes to the Haskell programming language

Haskell Cheat Sheets ⭐ 80

High level library cheat sheets for the working Haskell programmer.

Haskell Report ⭐ 59

Haskell Language Report

Teach Yourself Haskell In 24 Hours ⭐ 50

Watch out! It's probably not what you expect!

Talk 2015 Haskell To Hardware ⭐ 49

From Haskell to Hardware via CCCs

Talk 2016 Generic Fft ⭐ 46

A talk on type-generic FFT in Haskell

Ichimiginikarasu ⭐ 34

tool for generating printable Kanji flashcards

Haskell_articles ⭐ 34

A List of Haskell articles on good design, good testing

Hyphenation ⭐ 31

Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files

Reimplementation of TeX in Haskell: pre-alpha

Category theory applied to functional programming (undergraduate project)

a haskellified version of the classic sed unix tool

A Haskell program and library to derive instances for data types

Space Workshop ⭐ 19

Haskell simulations of spacecraft manoeuvres

Gencheck ⭐ 18

Test.GenCheck Haskell project

a flexible text macro system

Tymfgg Pearl ⭐ 14

Type Your Matrices For Great Good

Talk 2020 Calculating Compilers Categorically ⭐ 14

Diagrams Pgf ⭐ 14

A PGF backend for diagrams

Minimalistic file explorer, written in Haskell.

Hse Haskell Course Src ⭐ 13

Pandoc Filters ⭐ 11

A few extra pandoc filters for academic writing (internal table/figure references, sideways, ...)

Vortrag Haskell ⭐ 10

Slides for an introductory talk about Haskell (in German)

Haskell Benchmark Suite

Data Structure Inferrer ⭐ 9

A program that analyzes source code with a data-structure wildcard and suggests the right one.

Liquid Haskell: How to turn Haskell into a Theorem Prover

GPU-powered symbolic differentiation in haskell

Direct Reflection For Free ⭐ 8

using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell

Well-typed system for generating documents in multiple formats

Lk Proof Assistant ⭐ 7

Simple Proof assistant for LK Calculus (First-Order logic)

TeX Parser in Haskell

Ruby2haskell Tutorial ⭐ 6

A presentation/tutorial on basic Haskell for Ruby programmers, and support materials.

System Fc Coq ⭐ 6

Awesome 1418 ⭐ 6

An Awesome list of useful resources for 1418 programmers.

Haskell_course ⭐ 6

A cross-platform system for automation of LaTeX document compilation.

Introduction To Functional Programming ⭐ 6

An Introduction to Functional Programming

A Scheme-esque language for dataframe manipulation with an interpreter written in Haskell.

ゆるい LaTeX数式 → MathML 変換器（になる予定）

Texrunner ⭐ 5

Functions for calling TeX from Haskell.

Related Searches

Tex Latex (5,332)

Tex Thesis (1,478)

Haskell Ghc (1,289)

Types Haskell (1,028)

Language Haskell (853)

Tex Paper (821)

Haskell Functional Programming (811)

Haskell Monad (681)

Haskell Hackage (574)

Haskell Stack (554)

1-51 of 51 search results

Privacy | About | Terms | Follow Us On Twitter

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