Ahmad Salim Al-Sibahi

well-typed-agda-interpreter. A well typed interpreter for the simply-typed lambda calculus written in Agda

desc-n-crunch. Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.

numpyro_stein. Python

qsort-inline. Apple's qsort implementation with support for inlined comparison (by macros)

agda-moddom. Modular Domains in Agda

fflat-mdsliterals. Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)

MSc-Thesis. MSc Thesis on practical levitation

numpyro. Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.

2019-meetup-pyro-intro. Introduction to Pyro PPL for Pioneers of Probabilistic Programming Meetup April 2019

fflat. The Fb programming language

agda-tron. An Agda implementation of TRON semantics

pnerf-jax. Python

Tools-and-tactics-for-Idris---report. Report and Information for M.Sc. 3rd semester project on rewriting Idris parser and introducing a proof tactic for induction

jax-dy. Python

haskell-transformations. Haskell

Rascal-Light. Implementation of Rascal Light and Rabit - Static Analyzer for Rascal Light

micro-dsl-properties. Micro DSLs and properties

parseltongue. A bytecode interpreter of a language where the bytecode is written using Peano Numbers (written for PLT Games Turing Tar-Pit challenge)