shubhamkumar13 Goto Github PK

18s191

Course 18.S191 at MIT, fall 2020 - Introduction to computational thinking with Julia

abridged

telegram to discord bridge

actor

Owl's Parallel & Distributed Computing Engine

advent_of_code

advent of code 2019

advent_of_code_2020

advent of code in haskell

adventofcode2020

Collaborative FP solutions to advent of code 2020

adventofcode2021

adventofcode.com

aeneas

A verification toolchain for Rust programs

agda-coexp

Formalisation of some ideas related to continuations and co-exponentials

agda-plfa

my journey to learn plfa in agda

agda2rust

ahrefs-chat-app

ahrefs-chat-app assignment

alarm

ALARM: the new SOS memory allocation library

algorithm-archive

A collaborative book on algorithms

algorithm-design-in-haskell-solutions

Solutions for Algorithm Design with Haskell

algorithm-design-manual

Reading through the algorithm design manual using rust

algorithms-in-rust

exercises for algorithms 4th edition by robert sedgewick

aoc

trying to finish 7 years of aoc, I don't think I will complete it but it's worth giving a shot.

aoc_2023

autogpt

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

automerge

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

awesome-nodejs

A curated list of delightful Node.js packages and resources.

awesome-python

A curated list of awesome Python frameworks, libraries, software and resources

awesome-rust

A curated list of Rust code and resources.

aws-sdk-rust

AWS SDK for the Rust Programming Language

balzac-for-jekyll

Your favorite AnchorCMS theme, now for Jekyll!

benign-sandmark

experiments with sandmark

book

Course Reader based on Jupyter-Book

cambridgemathematicspartiii