robkorn Goto Github PK
Name: Robert Kornacki
Type: User
Company: dcSpark
Bio: Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.
Blog: https://dcspark.io
Name: Robert Kornacki
Type: User
Company: dcSpark
Bio: Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.
Blog: https://dcspark.io
Spacemacs agda layer with keybindings closer to the Idris layer.
Scrape Amazon Offers With Ease In Haskell
A curated collection of projects and tools in the Urbit ecosystem.
ggml implementation of BERT
Ideas, concepts, protocols, or whatever else I come up with related to blockchain that I consider worth sharing.
Discussion and documentation on community practices
Software foundations exercise answers in Coq.
Haskell Library To Scrape Ebay Listing Data
Ergo Improvement Proposals
Appkit: A Library for Polyglot Development of Ergo Applications using GraalVM
CLI tool which enables participating and interacting with Crowdfunding Campaigns on Ergo
Threaded Rust client for the EventSource browser API with support for headers.
Complete guide to Gall and Landscape apps on Urbit
Adaptive screen brightness/temperature for Windows, Linux, FreeBSD
Basic Gixen API Wrapper In Haskell
Simple CLI timer written in Idris.
Solutions to problems in Software Foundations for Idris
Exercises From Type Driven Development With Idris
Cardano Guessing Game On iOS Using Soshen
node
Spacemacs layer providing K support.
Exercises from the LiquidHaskell Book, "Programming With Refinement Types".
Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
Programming Languages Foundations In Agda Exercises
The Plutus language reference implementation and tools
Experimental Smart Contracts In Plutus.
SHA256 PoW on any serializable datatype.
Going through Programming In Lean
Explorations into RIDE smart contracts on the Waves Platform.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.