Alexander Nemish's repositories
lasca-compiler
Lasca is Scala shifted towards Haskell.
scalus-starter
Scalus Starter project
bitml-compiler
Compiler for BitML
developer-portal
The Cardano Developer Portal
eclair
A scala implementation of the Lightning Network.
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
GoogleAuth
Google Authenticator Server side code
knowledge-base
Knowledge Base Of Scala Ukraine Group
llama.cpp
Port of Facebook's LLaMA model in C/C++
nixops-tutorial
Tutorial for practical deployments with NixOps
plfa.github.io
Introduction to programming language theory in Agda
post-rfc
Blog post previews in need of peer review
rpn-calc
Reverse Polish Notation Calculator
scalafmt
Code formatter for Scala
scalus-minting-demo
Cardano Tokens Minting contract demo created by Scalus
tapleaf-circuits
A proof-of-concept implementation of BitVM for bristol circuits
unordered-containers
Efficient hashing-based container types