Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Mathematics Open Source Projects

Open source projects categorized as Haskell Mathematics
Categories > Mathematics > Mathematics
Project Euler Solutions ⭐ 1,809
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
most recent commit 5 months ago
Pragmatapro ⭐ 1,300
PragmataPro font is designed to help pros to work better
most recent commit 3 months ago
Egison ⭐ 859
The Egison Programming Language
total releases 190most recent commit a year ago
Category Theory Programmers ⭐ 452
Category theory in the context of (functional) programming
most recent commit 6 years ago
Dslsofmath ⭐ 387
Domain-Specific Languages of Mathematics
most recent commit 3 months ago
Texmath ⭐ 262
A Haskell library for converting LaTeX math to MathML.
total releases 122most recent commit 4 months ago
Projecteuler ⭐ 156
Polyglot solutions for www.projecteuler.net mathematical challenges
most recent commit a year ago
Disco ⭐ 153
Functional teaching language for use in a discrete mathematics course
most recent commit 4 months ago
Computational Algebra ⭐ 81
General-Purpose Computer Algebra System as an EDSL in Haskell
total releases 19most recent commit 2 years ago
Hquantlib ⭐ 62
HQuantLib, financial math in Haskell
total releases 15most recent commit 4 months ago
Lecturas_glc ⭐ 62
Readings on computational logic, interactive theorem proving and functional programming.
most recent commit 3 months ago
Discrete Mathematics ⭐ 43
A computational way to study discrete mathematics using Haskell
most recent commit 5 years ago
Career ⭐ 42
Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD
most recent commit 6 months ago
Hamazed ⭐ 38
Monorepo for a multi-player game engine, and game examples
total releases 1most recent commit 2 years ago
Karasu ⭐ 33
A self-hosted remote communication system designed for math discussions.
most recent commit 3 years ago
Free Algebras ⭐ 31
Free Algebras in Haskell
total releases 17most recent commit a year ago
Numerical Fpga Thesis ⭐ 28
Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH
most recent commit 9 years ago
Symbolic Math Hatex ⭐ 27
Convenient Haskell syntax for writing in LaTeX math expressions
total releases 8most recent commit 6 months ago
Fast Math ⭐ 26
Play fast and loose with IEEE-754 rewrite RULES
most recent commit 9 years ago
Mathblog ⭐ 25
A package for managing a static, mathematically-inclined web log
total releases 6most recent commit 9 years ago
Pandoc Unicode Math ⭐ 23
Replace Unicode symbols by equivalent Latex commands
most recent commit 8 months ago
Functional Programming From Scratch Ja ⭐ 20
関数型プログラミングをゼロからわかりやすく実用的に幅広い視点から解説！〜 圏論からFRPの構築まで
most recent commit 6 months ago
Yesod Paginator ⭐ 19
Pagination in yesod applications
total releases 21most recent commit a year ago
The 10 Latest Releases In Haskell Mathematics Open Source Projects
Texmath ⭐ 262
A Haskell library for converting LaTeX math to MathML.
total releases 122latest release December 11, 2023most recent commit 4 months ago
Simplex Method ⭐ 6
Implementation of the two-phase simplex method in exact rational arithmetic.
total releases 2latest release December 02, 2023most recent commit 5 months ago
Free Algebras ⭐ 31
Free Algebras in Haskell
total releases 17latest release June 04, 2023most recent commit a year ago
Symbolic Math Hatex ⭐ 27
Convenient Haskell syntax for writing in LaTeX math expressions
total releases 8latest release April 26, 2023most recent commit 6 months ago
Propafp ⭐ 6
Auto-active verification of floating-point programs.
total releases 3latest release March 12, 2023most recent commit 6 months ago
Yesod Paginator ⭐ 19
Pagination in yesod applications
total releases 21latest release June 13, 2022most recent commit a year ago
Pandora ⭐ 8
Pure basic library based on math abstractions
total releases 47latest release May 29, 2022most recent commit 2 years ago
Hquantlib ⭐ 62
HQuantLib, financial math in Haskell
total releases 15latest release March 31, 2022most recent commit 4 months ago
Egison ⭐ 859
The Egison Programming Language
total releases 190latest release December 18, 2021most recent commit a year ago
Latex Svg ⭐ 10
Render LaTeX math to SVG mages
latest release March 06, 2020most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
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.