Giters
Alexander Nemish (nau)

nau

User data from Github https://github.com/nau

126

followers

20

following

141

stars

Company:@input-output-hk

Location:France

Home Page:http://jscala.org

GitHub:@nau

Twitter:@atlanter

Organizations
atlanter-labs
lasca-lang

Alexander Nemish's repositories

jscala

Scala macro that produces JavaScript from Scala code.

Language:ScalaLicense:MITStargazers:204Issues:16Issues:26

lasca-compiler

Lasca is Scala shifted towards Haskell.

Language:CLicense:BSD-3-ClauseStargazers:132Issues:22Issues:14

scalus

Scalus - DApps Development Platform for Cardano

Language:ScalaLicense:Apache-2.0Stargazers:83Issues:9Issues:13

depc

Simple Dependent Type Checker

Language:HaskellLicense:BSD-3-ClauseStargazers:10Issues:5Issues:0

adastream

Decentralized File Hosting Incentivised via Cardano Ada Payments

Language:ScalaLicense:MITStargazers:5Issues:2Issues:0

triplesec

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

Language:HTMLStargazers:2Issues:2Issues:0

bitvestor

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

Language:JavaScriptLicense:MITStargazers:1Issues:2Issues:0

midgard-poc

Language:ScalaStargazers:1Issues:0Issues:0

bips

Bitcoin Improvement Proposals

Language:WikitextStargazers:0Issues:1Issues:0

bitml-compiler

Compiler for BitML

Language:RacketStargazers:0Issues:3Issues:0

blst

Multilingual BLS12-381 signature library

Language:AssemblyLicense:Apache-2.0Stargazers:0Issues:0Issues:0

blst-java

License:Apache-2.0Stargazers:0Issues:0Issues:0

cosmex-landing

Language:PugLicense:MITStargazers:0Issues:2Issues:0

developer-portal

The Cardano Developer Portal

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

eclair

A scala implementation of the Lightning Network.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:0Issues:1Issues:0

GoogleAuth

Google Authenticator Server side code

Language:JavaLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

knowledge-base

Knowledge Base Of Scala Ukraine Group

Stargazers:0Issues:1Issues:0

lagom-samples

Language:JavaLicense:CC0-1.0Stargazers:0Issues:2Issues:0

llama.cpp

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

Language:CLicense:MITStargazers:0Issues:1Issues:0

mermade

Language:RustStargazers:0Issues:2Issues:0

nixops-tutorial

Tutorial for practical deployments with NixOps

Language:NixLicense:NOASSERTIONStargazers:0Issues:2Issues:0

plutus

The Plutus language implementation and tools

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

rpn-calc

Reverse Polish Notation Calculator

Language:JavaScriptStargazers:0Issues:1Issues:0

scalafmt

Code formatter for Scala

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

scalus-minting-demo

Cardano Tokens Minting contract demo created by Scalus

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

scdsl

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

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

smalltt

Demo for high-performance type theory elaboration

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

tapleaf-circuits

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

License:CC0-1.0Stargazers:0Issues:1Issues:0

unordered-containers

Efficient hashing-based container types

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0