rahulc29/realizability

Experiments with Realizability in Univalent Type Theory

Language: HTML - Size: 8.21 MB - Last synced at: 3 days ago - Pushed at: 11 months ago - Stars: 18 - Forks: 1

rahulc29/idris-bittorrent

BitTorrent Client (barely) in Idris

Language: Idris - Size: 0 Bytes - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

rahulc29/intuitionistic-logic

Metatheorems about intuitionistic logic, cubically!

Language: Agda - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rahulc29/rahulc29

Size: 61.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rahulc29/lcf

An LCF-styled tactic based theorem prover

Language: Racket - Size: 0 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rahulc29/abstract-nonsense

Mathematics in service of computation

Language: TeX - Size: 15.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rahulc29/ns-stream-cipher

Network Security Assignment

Language: Rust - Size: 9.77 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

rahulc29/cubical Fork of agda/cubical

An experimental library for Cubical Agda

Language: Agda - Size: 11.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rahulc29/yadtl

Yet Another Dependently Typed Language

Language: Scheme - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

rahulc29/cubical-experiments

Random experiments with Cubical Agda

Language: Agda - Size: 1.36 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

rahulc29/serl

SERL SE Course Project Semester 4

Language: JavaScript - Size: 30.9 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

rahulc29/k8 📦

A CHIP-8 emulator written in Kotlin.

Language: Kotlin - Size: 104 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1

rahulc29/modal-logics

Formalisation of some modal logics in Cubical Agda

Language: Agda - Size: 106 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

rahulc29/scheme.js

Scheme to JavaScript compiler

Language: Scheme - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

rahulc29/regular-languages

Formalising the coinductive trie representation of regular languages in Cubical Type Theory

Size: 962 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

rahulc29/ray-tracer

A ray tracer written in Rust.

Language: Rust - Size: 544 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

rahulc29/public-student-support-code Fork of IUCompilerCourse/public-student-support-code

Public helper code for IUC Compilers Course

Language: Racket - Size: 209 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

rahulc29/documentation Fork of purescript/documentation

Documentation for the PureScript language, compiler, and tools.

Size: 898 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

rahulc29/eopl

Solutions to EOPL

Language: Scheme - Size: 1.04 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

rahulc29/chip8

Size: 0 Bytes - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rahulc29/shell-scripts

A collection of custom shell configurations

Language: Shell - Size: 0 Bytes - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rahulc29/rahulc29.github.io

My personal blog :D

Size: 3.44 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

rahulc29/kaleido

Abandoned due to code spaghettification😭

Language: C++ - Size: 59.6 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

rahulc29/haskell-explore

Exploring Haskell

Language: Haskell - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rahulc29/algoxy

Language: TeX - Size: 321 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rahulc29/gci-tensorflow

GCI 19-20 work for Tensorflow

Language: Jupyter Notebook - Size: 47.9 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rahulc29/sicp

Solutions to SICP

Language: Scheme - Size: 40 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rahulc29/sicp-review Fork of cj1128/sicp-review

😛 Review of Structure and Interpretation of Computer Programs

Language: Scheme - Size: 21.3 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rahulc29/cp

Competitive Programming Repository

Language: C++ - Size: 162 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

rahulc29/aparith

Exploring arbitrary precision arithmetic in Rust

Language: Rust - Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

rahulc29/ramp Fork of Aatch/ramp

RAMP - Rust Arithmetic in Multiple Precision

Size: 4.35 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

rahulc29/nesys

NES Emulator in Rust

Language: Rust - Size: 22.5 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

rahulc29/TypeFunc Fork of williamdemeo/TypeFunc

Resources for type theory, functional programming, etc.

Size: 18.7 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

rahulc29/rustynes Fork of bokuweb/rustynes

👾 An NES emulator by Rust and WebAssembly

Size: 4.28 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

rahulc29/randlite

Exploring PRNGs in Rust

Language: Rust - Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rahulc29/prng_6502 Fork of bbbradsmith/prng_6502

Random number generators for 6502 / NES

Size: 52.7 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

rahulc29/life-wasm

Conway's Game of Life implemented in Rust-Wasm

Language: JavaScript - Size: 146 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

rahulc29/elementary-CAs Fork of evankozliner/elementary-CAs

Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

rahulc29/notable Fork of notable/notable

The Markdown-based note-taking app that doesn't suck.

Size: 8.53 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

rahulc29/learn-tt Fork of jozefg/learn-tt

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

Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

rahulc29/Java Fork of TheAlgorithms/Java

All Algorithms implemented in Java

Language: Java - Size: 2.26 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

rahulc29/Kotlin-1 Fork of TheAlgorithms/Kotlin

All Algorithms implemented in Kotlin

Language: Kotlin - Size: 154 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

rahulc29/Social-Network Fork of akshat-sahijpal/Social-Network

Social Media App where a user can publicly talk about any particular topic be it via text or voice chat, a user can also interact with other people on the platform via voice channels and text messages. Users can also share photo's, videos etc

Size: 655 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

rahulc29/MobileScanner Fork of sanjus-robotic-studio/MobileScanner

A Kotlin app for document scanning

Size: 1.17 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

rahulc29/Leaf Fork of Waoss/Leaf

A simple text editor written in JavaFX

Language: CSS - Size: 154 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

rahulc29/kotlin Fork of JetBrains/kotlin

The Kotlin Programming Language.

Language: Kotlin - Size: 1.11 GB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

rahulc29/ktor Fork of ktorio/ktor

Framework for quickly creating connected applications in Kotlin with minimal effort

Language: Kotlin - Size: 15.7 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

rahulc29/TechTacToe

Language: Kotlin - Size: 872 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

rahulc29/Moneypool Fork of Waoss/Moneypool

An app that keeps a track of all your friends to whom you've either lended or borrowed money to/from.

Language: Java - Size: 158 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

rahulc29/Tutors---Point Fork of Waoss/Tutors---Point

A video-based platform for teachers and students to interact

Language: Java - Size: 32.2 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

rahulc29/Enesys Fork of Waoss/Enesys

An NES Emulator I'm writing

Language: Java - Size: 401 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

rahulc29/ClockFX

A simple digital clock made in JavaFX

Language: Java - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0