heyrutvik Goto Github PK

programminginscala

Programming In Scala Third

roarer

rust-nbe-for-mltt

Danny Gratzer's implementation of Normalization by Evaluation for Martin-Löf Type Theory, ported to Rust

scala-notes

Notes on Scala, off the top of my head.

scalac-plugin-basic

scalac-survival-guide

scalaz

An extension to the core Scala library for functional programming.

scalaz-zio

ZIO — A principled, powerful, standalone effect data type for any Scala project.

scripts

miscellaneous automated work

sicp

Structure and Interpretation of Computer Programs

simple-lang

SIMPLE language implementation in Scala. It is a toy language which is explained in Tom Stuart's book Understanding Computation.

sixten

Functional programming with fewer indirections

spack

A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

spartan-type-theory

Spartan type theory

stripe-mock

stripe-mock is a mock HTTP server that responds like the real Stripe API. It can be used instead of Stripe's testmode to make test suites integrating with Stripe faster and less brittle.

tailcall

A high-performance GraphQL proxy, optimized for cloud-native environments, covering edge, middle, and service layers.

turing

Turing machine DSL and simulator

turing-script-hs

turing-script-rs

loosely based on https://github.com/heyrutvik/turing

unison

Next generation programming language, currently in development

uring

io_uring library for Rust

vscode-flix

vue-google-charts

Reactive Vue.js wrapper for Google Charts lib

ws-idr

Yes, it is what you think it is

ycombinator

search for string from Hacker News (Y Combinator)

ziglings

Learn the Zig programming language by fixing tiny broken programs.

zio-http

A scala library to write Http apps.