Pinned Repositories
flagger
flagger
ForkableT
*useful* Forkable classes
haxe-qc
quickcheck to test haxe backends
lambda-binary
A non-redundant correct by construction binary format for lc
Ludic
ludic computing
ludicrev
Ludic Computing Revision
machinelearning
matchine learning assessments (matlab bleh)
NowHs
NowHs because nobody wants server side javascript
sandfix
Fixes a sandbox created on another machine
SimpleLog
exFalso's Repositories
exFalso/sandfix
Fixes a sandbox created on another machine
exFalso/ForkableT
*useful* Forkable classes
exFalso/haxe-qc
quickcheck to test haxe backends
exFalso/lambda-binary
A non-redundant correct by construction binary format for lc
exFalso/OT
Abstract Operational Transformations
exFalso/avian
Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
exFalso/bloomrpc
GUI Client for GRPC Services
exFalso/config
common configuration files to ease fresh installs
exFalso/corda
Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart contract technology allows businesses to transact directly, with value.
exFalso/docker-java
Java Docker API Client
exFalso/ed25519-dalek
Fast and efficient ed25519 signing and verification in Rust.
exFalso/etcpak-deb
creates a .deb for etcpak
exFalso/evdi
Extensible Virtual Display Interface
exFalso/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
exFalso/git-try
exFalso/gradle-docker-plugin
Gradle plugin for managing Docker images and containers.
exFalso/graphene
Graphene / Graphene-SGX Library OS - a library OS for Linux multi-process applications, with Intel SGX support
exFalso/hmatrix
Linear algebra and numerical computation
exFalso/kotlin
The Kotlin Programming Language
exFalso/naersk
Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly.
exFalso/nixpkgs
Nix Packages collection
exFalso/oc
optimistic general-purpose build caching
exFalso/proposal
asdasd
exFalso/qont
Shift/reset style delimited continuations and mother-of-all-monads do notation for the JVM
exFalso/random-shuffle
Random shuffle implementation for Haskell
exFalso/static-openjdk
exFalso/statsite-deb
creates a .deb for statsite
exFalso/tonic
A native gRPC client & server implementation with async/await support.
exFalso/uninvalidate.nix
Flexible Nix source filters (IFD!) to help minimize build invalidation
exFalso/website