Skip to content
View iambrj's full-sized avatar
111 followers · 25 following

Organizations

@llvm @iiittheorygroup

Block or report iambrj

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • notes Public

    notes I've made from books I've read, courses I've taken etc

    mysql c git latex lua filesystem ocaml
    TeX 14 1 Updated Jul 15, 2024

  • iambrj.github.io Public

    HTML 1 Updated Jul 3, 2024

  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

    Other Updated May 12, 2024

  • dependence-analysis Public

    Implementation of a lazy dependence analysis algorithm in MLIR

    C++ 1 Updated Aug 17, 2023

  • miniKanren-synthesis Public

    Scheme Updated Mar 12, 2023

  • dot-files Public

    All my precious dot files

    Shell 1 MIT License Updated Feb 20, 2023

  • fsat Public

    Experiments in accelerating a SAT solver using FPGAs

    C++ 1 Updated Dec 10, 2021

  • imin Public

    A nanopass compiler for (a subset of) Racket -> x86-64, implemented in Racket

    compiler racket assembly nanopass
    Racket 7 1 Updated Oct 31, 2021

  • faster-minikanren Public

    Forked from michaelballantyne/faster-minikanren

    A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

    Scheme MIT License Updated Oct 1, 2021

  • eopl Public

    Collection of interpreters for a bunch of pedagogical languages

    Racket Updated Jul 31, 2021

  • metaKanren Public

    Relational interpreter for miniKanren, in miniKanren.

    Racket 14 2 MIT License Updated Jul 25, 2021

  • dinterp Public

    Scheme interpreter in miniKanren, capable of program synthesis

    Racket 1 Updated May 21, 2021

  • codump Public

    Random bits and bytes of code

    Scheme Updated Nov 10, 2020

  • mk Public

    Playing around with miniKanren

    Scheme MIT License Updated Oct 29, 2020

  • xv6-public Public

    Forked from mit-pdos/xv6-public

    xv6 OS

    C Updated Oct 23, 2020

  • vizualise Public

    Course project for the Data Visualization course at IIIT Hyderabad, Spring 2020

    JavaScript Updated May 3, 2020

  • verification Public

    Assignments for the Program Verification course at IIIT Hyderabad, Spring 2020

    Python Updated Apr 27, 2020

  • fastMap Public

    A fast and memory efficient C++ associative array

    C++ 5 4 Updated Mar 30, 2020

  • 99haskell Public

    My solutions to the Haskell version of the classic "99 problems"

    Haskell Updated Mar 28, 2020

  • flappy.ai Public

    A genetic programming simulation for playing flappy bird

    Python 1 1 MIT License Updated Nov 19, 2019

  • reverse-interview Public

    Forked from viraptor/reverse-interview

    Questions to ask the company during your interview

    MIT License Updated Sep 11, 2019

  • SimpleFS Public

    A journaling filesystem written in C++

    C++ 1 2 Updated Jun 21, 2019

  • cathy Public

    An interpreter for a simple programming language

    C 1 1 MIT License Updated Mar 24, 2019

  • what-to-code Public

    Forked from joereynolds/what-to-code

    Ideas for things to program

    MIT License Updated Dec 5, 2018

  • youtube-dl Public

    Forked from Jamie-Landeg-Jones/youtube-dl

    Command-line program to download videos from YouTube.com and other video sites

    Python The Unlicense Updated Nov 16, 2018