Skip to content
View rokgerzelj's full-sized avatar
3 followers · 6 following

Block or report rokgerzelj

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

4 stars written in Haskell
Clear filter

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language

Haskell 3,427 644 Updated Aug 2, 2024

transient-haskell / transient

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…

Haskell 633 28 Updated Mar 6, 2021

ekmett / ad

Automatic Differentiation

Haskell 368 73 Updated Jun 3, 2024

mstksg / tensor-ops

Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation

Haskell 59 3 Updated Apr 26, 2017