ahmadsalim/fflat
The Fb programming language
Developer Profile
ahmadsalim
Discovered public repositories for ahmadsalim in the GitHub catalog.
ahmadsalim/MSc-Thesis
MSc Thesis on practical levitation
ahmadsalim/well-typed-agda-interpreter
A well typed interpreter for the simply-typed lambda calculus written in Agda
ahmadsalim/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
ahmadsalim/qsort-inline
Apple's qsort implementation with support for inlined comparison (by macros)
ahmadsalim/parseltongue
A bytecode interpreter of a language where the bytecode is written using Peano Numbers (written for PLT Games Turing Tar-Pit challenge)
ahmadsalim/fflat-mdsliterals
Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)