sartimo
Follow
Lists (32)
ai/llm/crazy stuff
40 repositories
bookmark
33 repositories
cybersec
83 repositories
editor
17 repositories
Elastic Search
Ethereum Change Requests
1 repository
evm
4 repositories
Fullstack Framework
fungoid
9 repositories
games
13 repositories
IPA
Stuff for my IPAlanguages
80 repositories
Layer-1 Chains
4 repositories
Layer-2 Chains
8 repositories
liquid staking / yield
3 repositories
lispy
13 repositories
LLM Training
6 repositories
maths
3 repositories
os
9 repositories
pascal/delphi/family
6 repositories
quantum-tech/AQI
3 repositories
SaaS / Micro SaaS
45 repositories
stuxnet/duqu-wdk
1 repository
stuxnet/flame
1 repository
sushiswap essentials
12 repositories
tacit programming
15 repositories
templeOS/Shrine
6 repositories
text-adventure
11 repositories
unicode esolangs
7 repositories
vim plugins
must have vim plugings2 repositories
web3 security
2 repositories
zk-tech
15 repositories
Starred repositories
18
stars
written in Haskell
Clear filter
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A statically typed lisp, without a GC, for real-time applications.
Cryptographic currency implementing Ouroboros PoS protocol
A Dependently Typed Functional Programming Language
The core component that is used to participate in a Cardano decentralised blockchain.
The Eta Programming Language, a dialect of Haskell on the JVM
💥💻💥 A data-parallel functional programming language
A language for intent-centric and declarative decentralised applications
Nirum: IDL compiler and RPC/distributed object framework for microservices
Compile Dhall expressions to Cabal files
Horus, a formal verification tool for StarkNet smart contracts.
