Giters
Karthik Ravikanti (plumenator)

plumenator

Geek Repo

101

followers

2k

following

2k

stars

Location:Singapore

Twitter:@plumenator

Github PK Tool:Github PK Tool

Karthik Ravikanti's starred repositories

deno

A modern runtime for JavaScript and TypeScript.

Language:RustLicense:MITStargazers:93205Issues:1426Issues:10089

simdjson

Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

Language:C++License:Apache-2.0Stargazers:18632Issues:239Issues:808

dhall-lang

Maintainable configuration files

Language:DhallLicense:BSD-3-ClauseStargazers:4162Issues:63Issues:527

awesome-discord-communities

A curated list of awesome Discord communities for programmers

Language:PythonLicense:CC-BY-4.0Stargazers:2565Issues:57Issues:44

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Stargazers:2065Issues:93Issues:9

high-assurance-rust

A free book about developing secure and robust systems software.

Language:RustStargazers:1272Issues:37Issues:16

elements-of-rust

rust style and philosophy

Stargazers:1087Issues:64Issues:0

haskell-resources

A List of Foundational Haskell Papers

Language:JavaScriptLicense:NOASSERTIONStargazers:861Issues:46Issues:5

haskell-exercises

A little course to learn about some of the more obscure GHC extensions.

Language:HaskellLicense:MITStargazers:636Issues:18Issues:3

nanopass-framework-scheme

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Language:SchemeLicense:MITStargazers:480Issues:38Issues:25

practical-fm

A gently curated list of companies using verification formal methods in industry

Stargazers:468Issues:55Issues:8

honggfuzz-rs

Fuzz your Rust code with Google-developed Honggfuzz !

Language:RustLicense:Apache-2.0Stargazers:441Issues:6Issues:42

brdf

Code sample accompanying the article "Crash Course in BRDF Implementation"

Language:C++Stargazers:306Issues:14Issues:1

learn-you-a-haskell-notebook

Jupyter adaptation of Learn You a Haskell for Great Good!

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:288Issues:7Issues:16

pltalk

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

Stargazers:212Issues:38Issues:1

compiler

The adventures of a Haskell compiler

Language:HaskellLicense:GPL-3.0Stargazers:202Issues:13Issues:4

higgledy

Higher-kinded data via generics

Language:HaskellLicense:MITStargazers:170Issues:10Issues:18

nix-learning

A bunch of links to blog posts, articles, videos, etc for learning Nix

License:UnlicenseStargazers:132Issues:6Issues:2

teachyourselfcs

Personal notes on my continuous progress in pursuing mastery of my craft.

Language:HTMLStargazers:90Issues:7Issues:0

ghc-software-foundations

The Software Foundations book, in GHC

Language:HaskellStargazers:80Issues:11Issues:0

home

My home directory: Nix config, dotfiles, scripts, etc.

Language:NixStargazers:63Issues:8Issues:0

icfp-bingo-2017-idris

ICFP Bingo 2017 (Idris edition)

Language:IdrisStargazers:30Issues:5Issues:0

parsing-with-zippers-paper-artifact

The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.

Language:OCamlLicense:MITStargazers:27Issues:3Issues:1

bevy-moving-circle

🦀 Control a now blue circle with wasd/arrow keys (intense gameplay)

Language:RustStargazers:26Issues:1Issues:1

mini-refined

Simple encoding of refinement types in Scala 3

Language:ScalaLicense:MITStargazers:24Issues:4Issues:0

chiroptical

About me

Stargazers:17Issues:3Issues:0

plfa-exercise

The exercises of book plfa

Language:AgdaStargazers:6Issues:0Issues:0

haskell-final-exams

My past paper solutions for the ICL final Haskell exam.

Language:HaskellStargazers:5Issues:3Issues:4

hpfp

Notes and exercises on Haskell Programming from First Principles by Chris Allen and Julie Moronuki.

Language:HaskellStargazers:3Issues:2Issues:1

homelabbing

catalog of my journey in Homelabbing

Stargazers:1Issues:0Issues:0