A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-higherorderco-repo
Updated 2024-07-02 15:36:23 +03:00
A fast, friendly, functional language. Work in progress!
Updated 2024-07-02 06:00:14 +03:00
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
starred-repo
haskell
python
functional-programming
command-line
programming-language
ai
concurrency
developer-experience
mobile
beginner-friendly
domain-driven-design
event-sourcing
starred-neohaskell-repo
Updated 2024-06-28 23:07:16 +03:00
A modern proof language
starred-repo
functional-programming
dependent-types
formality
lambda-calculus
moonad
proof-language
proof-languages
theorem-prover
type-theory
starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
A next-gen functional language
starred-repo
functional-programming
dependent-types
lambda-calculus
type-theory
formality
moonad
proof-language
proof-languages
theorem-prover
starred-higherorderco-repo
Updated 2024-06-28 18:31:06 +03:00
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
starred-repo
haskell
functional-programming
latex
category-theory
cpp
pdf
ocaml
scala
starred-hmemcpy-repo
Updated 2024-06-20 16:06:14 +03:00
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does no
starred-repo
haskell
functional-programming
monads
algebraic-data-types
anonymous-functions
declarative-programming
explicit-side-effects
first-class-functions
foldable
folding
function-composition
functor
higher-order-functions
lazy-evaluation
list-comprehension
mapping
partial-application
pattern-matching
polymorphic-types
type-classes
starred-thma-repo
Updated 2023-12-15 11:29:56 +03:00
📜 Haskell course info, plan, video lectures, slides
starred-repo
haskell
hacktoberfest
functional-programming
learning
beginner-friendly
course
hacktoberfest2022
mentorship
starred-haskell-beginners-2022-repo
Updated 2023-07-09 17:01:04 +03:00
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
starred-repo
haskell
functional-programming
compiler
starred-grin-compiler-repo
data-flow-analysis
llvm
optimisation
Updated 2023-04-28 17:15:23 +03:00
A statically typed lisp, without a GC, for real-time applications.
starred-repo
functional-programming
language
repl
functional
gamedev
game-development
games
lisp
static
typed
starred-carp-lang-repo
Updated 2023-02-28 11:34:12 +03:00
A visual Haskell
starred-repo
haskell
functional-programming
visual
cairo
diagrams
gdk
glance
graph-layout
graphviz
gtk
gtk3
visual-programming
visual-programming-language
starred-rgleichman-repo
Updated 2022-03-20 23:40:39 +03:00
A Really Cool Calculator written in Haskell... or is it?
Updated 2021-08-26 18:12:56 +03:00
What I Wish I Knew When Learning Haskell
starred-repo
haskell
functional-programming
functional-programming-examples
examples
starred-sdiehl-repo
article-series
Updated 2021-06-29 18:20:10 +03:00
🔍 A step-by-step guide to parsing using Haskell parser combinators.
starred-repo
haskell
parser-combinators
parsing
functional-programming
haskell-tutorial
functional-programming-examples
haskell-exercises
haskell-learning
learn-to-code
learning-by-doing
parsec
parser
parser-combinator
parsers
programming-exercises
srt
srt-format
srt-parser
srt-subtitles
subtitles
starred-lettier-repo
Updated 2019-11-11 09:02:17 +03:00
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
starred-repo
functional-programming
lambda-calculus
type-theory
book
compiler
evaluation
functional-language
haskel
hindley-milner
intermediate-representation
pdf-book
type
type-checking
type-inference
type-system
starred-sdiehl-repo
Updated 2017-04-19 21:42:33 +03:00