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
Robert Kornacki's Projects
agda-spacemacs-layer
Spacemacs agda layer with keybindings closer to the Idris layer.
amazon-offers-scraper
Scrape Amazon Offers With Ease In Haskell
awesome-urbit
A curated collection of projects and tools in the Urbit ecosystem.
bert.cpp
ggml implementation of BERT
blockchain-ruminations
Ideas, concepts, protocols, or whatever else I come up with related to blockchain that I consider worth sharing.
cips
community
Discussion and documentation on community practices
coq-software-foundations
Software foundations exercise answers in Coq.
ebay-listing-scraper
Haskell Library To Scrape Ebay Listing Data
eips
Ergo Improvement Proposals
ergo-appkit
Appkit: A Library for Polyglot Development of Ergo Applications using GraalVM
ergo-crowdfunding-cli
CLI tool which enables participating and interacting with Crowdfunding Campaigns on Ergo
eventsource-threaded
Threaded Rust client for the EventSource browser API with support for headers.
gall-guide
Complete guide to Gall and Landscape apps on Urbit
gammy
Adaptive screen brightness/temperature for Windows, Linux, FreeBSD
hixen
Basic Gixen API Wrapper In Haskell
idris-cli-timer
Simple CLI timer written in Idris.
idris-software-foundations-problems
Solutions to problems in Software Foundations for Idris
idris-type-driven-development-exercises
Exercises From Type Driven Development With Idris
ios-cardano-guessing-game
Cardano Guessing Game On iOS Using Soshen
jormungandr
node
k-spacemacs-layer
Spacemacs layer providing K support.
liquidhaskell-book-exercises
Exercises from the LiquidHaskell Book, "Programming With Refinement Types".
mcrl2-spacemacs-layer
Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
plfa_exercises
Programming Languages Foundations In Agda Exercises
plutus
The Plutus language reference implementation and tools
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
pow_sha256
SHA256 PoW on any serializable datatype.
programming-in-lean-exercises
Going through Programming In Lean
ride-test-contracts
Explorations into RIDE smart contracts on the Waves Platform.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.