Pinned Repositories
bm-armv8
A bare metal kernel for ARMv8
collections
A library of data structures for Rust
electron-react-tutorial
How to use Electron, React, and webpack together.
formations
A complete server and client side validations library.
ironjdk
Suite of Java tools
lambs
Enriched typed lambda calculus
rcc
rclang
C89 compiler
sion
Distributed file system for many large files
RaasAhsan's Repositories
RaasAhsan/collections
A library of data structures for Rust
RaasAhsan/rcc
RaasAhsan/bm-armv8
A bare metal kernel for ARMv8
RaasAhsan/fritz
Interactive theorem prover based on CoIC
RaasAhsan/squic
RaasAhsan/elf
Read and manipulate ELF objects
RaasAhsan/go-ping
Go userspace implementation of ping
RaasAhsan/loader
Userspace program loader
RaasAhsan/regex
RaasAhsan/relatron
Relational programming in Scala
RaasAhsan/sion
Distributed file system for many large files
RaasAhsan/zeke
Statically typed, functional programming language on Truffle
RaasAhsan/rclang
C89 compiler
RaasAhsan/blaze
Blazing fast NIO microframework and Http Parser
RaasAhsan/cats
Lightweight, modular, and extensible library for functional programming.
RaasAhsan/cats-effect
The IO monad for Scala
RaasAhsan/crank
RaasAhsan/demos
collection of demos
RaasAhsan/fs2
Compositional, streaming I/O library for Scala
RaasAhsan/fs2-netty
What it says on the tin!
RaasAhsan/gandalf
Proof assistant based on the LF logical framework
RaasAhsan/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
RaasAhsan/http4s
A minimal, idiomatic Scala interface for HTTP
RaasAhsan/log4cats
Logging Tools For Interaction with cats-effect
RaasAhsan/munit-cats-effect
Integration library for MUnit & cats-effect
RaasAhsan/raasahsan.github.io
RaasAhsan/sacagawea
Common infrastructure for tracing functional effects
RaasAhsan/scalacheck
Property-based testing for Scala
RaasAhsan/spike
RaasAhsan/typelevel.github.com
Web site of typelevel.scala