Pinned Repositories
absal-ex
Absal ex
bookmarks
erlking-lisp
Papers-1
A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
ReactiveAspen
ReactiveAspenTodos
Recommenders
Recommender Systems
trending_arxiv
Track trending arXiv papers on Twitter from within your circle
soraismus's Repositories
soraismus/erlking-lisp
soraismus/Recommenders
Recommender Systems
soraismus/apotheka
soraismus/athame
Full vim for your shell (bash, zsh, gdb, python, etc)
soraismus/awesome-decentralized-web
an awesome list of decentralized services and technologies
soraismus/decidim
The participatory democracy framework. A generator and multiple gems made with Ruby on Rails.
soraismus/dimensional
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
soraismus/easy-purescript-nix
Easy PureScript (and other tools) with Nix
soraismus/freer-simple
A friendly effect system for Haskell
soraismus/FunctionalProgrammingCompanyList
This is a list of companies that use a Functional Programming Language for their core products. Use this as a starting point for your FP job search.
soraismus/fused-effects
A fast, flexible, fused effect system for Haskell
soraismus/haskell
Exercism exercises in Haskell.
soraismus/haskpapers
soraismus/hiring-without-whiteboards
⭐️ Companies that don't have a broken hiring process
soraismus/nixconfig
soraismus/phoenix-demo
soraismus/public-apis
A collective list of free APIs for use in software and web development.
soraismus/purescript-argonaut-flex-codecs
Utilities for JSON record-type deserialization using Argonaut.
soraismus/purescript-argonaut-record-codecs
Utilities for JSON record-type deserialization using Argonaut.
soraismus/purescript-capstone
soraismus/purescript-subcategory
soraismus/purescript-tolerant-argonaut
soraismus/radicle
A peer-to-peer stack for code collaboration
soraismus/sshfs
A network filesystem client to connect to SSH servers
soraismus/takeover.sh
Wipe and reinstall a running Linux system via SSH, without rebooting. You know you want to.
soraismus/the-practical-linux-hardening-guide
This guide details the planning and the tools involved in creating a secure Linux production systems.
soraismus/tsundoku-font
soraismus/udacity-landmark-project
soraismus/validity
Validity and validity-based testing
soraismus/yaya
Yet another yet another recursion scheme library in Haskell.