Skip to content
View BeNikis's full-sized avatar
  • Vilnius , Lithuania

Block or report BeNikis

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Starred repositories

9 stars written in Haskell
Clear filter

Homomorphic machine learning

Haskell 1,696 134 Updated May 29, 2016

Tensors and neural networks in Haskell

Haskell 1,174 121 Updated Dec 16, 2025

Algebraic graphs

Haskell 749 72 Updated Aug 10, 2025

Generalized bananas, lenses and barbed wire

Haskell 351 61 Updated Aug 3, 2025
Haskell 167 37 Updated Feb 11, 2015

A SAT solver written in Haskell.

Haskell 39 4 Updated Oct 7, 2018

Practical Specification of Belief Manipulation in Games

Haskell 33 8 Updated Jan 25, 2018

Free categories, free arrows and free categories with monadic actions

Haskell 24 3 Updated Mar 4, 2025

Haskell bindings to the clingo C API

Haskell 10 2 Updated Nov 7, 2019