Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Tex Functional Programming Open Source Projects

Open source projects categorized as Tex Functional Programming
Categories > Software Development > Functional Programming
Milewski Ctfp Pdf ⭐ 10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 months ago
Algoxy ⭐ 5,929
Book of Elementary Functional Algorithms and Data structures
most recent commit 3 months ago
Sofp ⭐ 1,250
A free book: "The Science of Functional Programming"
most recent commit 3 months ago
Talk 2015 Essence And Origins Of Frp ⭐ 411
A keynote talk for LambdaJam 2015 (July 15--16)
most recent commit 3 months ago
Latex Beamerposter ⭐ 317
The LaTeX beamerposter package
most recent commit 2 years ago
Haskellmooc ⭐ 141
"Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October 2016
most recent commit 7 years ago
Talk 2014 Lambdajam Denotational Design ⭐ 117
Talk material for LambdaJam 2014/2015 on denotational design
most recent commit 3 months ago
Talk 2014 Bayhac Denotational Design ⭐ 88
Denotational Design: from programs to meanings
most recent commit 8 years ago
Functional Programming ⭐ 75
This is a course in functional and concurrent programming given at KTH.
most recent commit 3 months ago
Betterinformatics ⭐ 66
Welcome to Better Informatics. The student run website for students in the School of Informatics.
most recent commit 3 months ago
Functional Cpp ⭐ 37
functional programming in cpp.
most recent commit 10 years ago
Essential Slick ⭐ 35
Essential Slick Pandoc Source
most recent commit 3 years ago
Master Thesis ⭐ 28
Data Structure Optimization for Functional Programs
most recent commit 5 years ago
Cain ⭐ 23
Category theory applied to functional programming (undergraduate project)
most recent commit 5 years ago
Phd Dissertation ⭐ 23
A summary of my activities during the past four years
most recent commit 7 months ago
Tymfgg Pearl ⭐ 14
Type Your Matrices For Great Good
most recent commit 4 years ago
Formulae ⭐ 11
Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"
most recent commit 9 years ago
Functional Analysis ⭐ 10
most recent commit 8 years ago
Latex Sml ⭐ 9
Collezione degli esami del corso di Programmazione Funzionale tenuto all'Università degli Studi di Trento.
most recent commit 3 years ago
Specification ⭐ 8
A statically typed functional programming inspired by Haskell, OCaml and Rust.
most recent commit a year ago
Tfpie2015 ⭐ 8
Domain Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
most recent commit 6 years ago
Fp For Business ⭐ 7
A talk for the NICTA Seminar Series
most recent commit 9 years ago
Generic Parallel Functional ⭐ 7
Paper on generic parallel functional programming
most recent commit 5 years ago
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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