rsoeldner Goto Github PK

chainweaver

Kadena Chainweaver desktop wallet and web-based playground for Pact

dotty

Research platform for new language concepts and compiler technologies for Scala.

dotty.g8

dpo-formalisation

finite_map_extras

Useful syntactic sugar, new operators and functions, and their associated lemmas for finite maps which currently are not present in the standard `Finite_Map` theory.

google-maps-geocoding

Haskell bindings to the Google Maps Geocoding API

gp2

The rule-based graph programming language GP 2

gp2-isabelle

hol

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

kadena.js

Public monorepo for all Typescript/Javascript related tools and libs for Kadena

leventerkok.github.io

nixpkgs

Nix Packages collection & NixOS

pact

The Pact Smart Contract Language

rmview

A live viewer for reMarkable written in PyQt5

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

start-kadena

My own Nix script for starting and testing a Kadena node

vector-space

Vector & affine spaces, linear maps, and derivatives

verifereum

Prove functional correctness of Ethereum smart contracts in higher-order logic

vim-pact

web-naproche

Web port of Naproche