nau

jscala

Scala macro that produces JavaScript from Scala code.

lasca-compiler

Lasca is Scala shifted towards Haskell.

scalus

Scalus - DApps Development Platform for Cardano

depc

Simple Dependent Type Checker

scalus-starter

Scalus Starter project

adastream

Decentralized File Hosting Incentivised via Cardano Ada Payments

bitvestor

Bitvestor is a dollar cost averaging Bitcoin buying bot for Bitfinex exchange

triplesec

Simple digital security scheme for your MacBook, iPhone, and web services that is easy to use and relatively hard to break

bips

Bitcoin Improvement Proposals

bitml-compiler

Compiler for BitML

cosmex-landing

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

homebrew-lasca

Lasca Compiler Homebrew Binary Distribution

knowledge-base

Knowledge Base Of Scala Ukraine Group

lagom-samples

llama.cpp

Port of Facebook's LLaMA model in C/C++

mermade

nixops-tutorial

Tutorial for practical deployments with NixOps

plfa.github.io

Introduction to programming language theory in Agda

plutus

The Plutus language implementation and tools

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

scdsl

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

smalltt

Demo for high-performance type theory elaboration

tapleaf-circuits

A proof-of-concept implementation of BitVM for bristol circuits

unordered-containers

Efficient hashing-based container types