1-day current streak·13-day longest streak
About Me 👨💻 I'm a Compiler Engineer, working on LLVM-based Toolchains for RISC-V and other embedded platforms, at Qualcomm. In the past I have worked on toolchains for Arm and…
About Me
👨💻 I'm a Compiler Engineer, working on LLVM-based Toolchains for RISC-V and other embedded platforms, at Qualcomm. In the past I have worked on toolchains for Arm and AArch64.
🤔 I used to be a programming languages researcher. I worked on Checked C and Idris, as well as other projects and publications.
-
llvm-project ★ PINNED ⑂
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 http://reviews.llvm.org.
LLVM ★ 0 3d agoExplain → -
abis ★ PINNED
Big List of ABI Resources
★ 61 2y agoExplain → -
idris-erlang ▣
Erlang Backend for Idris Compiler
Haskell ★ 187 9y agoExplain → -
ironmaster
[Deprecated] An Erlang server management app.
Erlang ★ 8 15y agoExplain → -
kb ▣
A Public Knowledge Base
★ 7 13y agoExplain → -
animated-wookie
Tagged Reliable Causal Broadcast Prototype
Erlang ★ 6 12y agoExplain → -
cs4414-project
An Implementation of Raft in Rust
Rust ★ 4 12y agoExplain → -
sat
No description.
Rust ★ 3 5y agoExplain → -
chrovember
A chrome extension a day throughout november
★ 2 15y agoExplain → -
opentitan ⑂
OpenTitan: Open source silicon root of trust
SystemVerilog ★ 1 5y agoExplain → -
robotics
Sam & Mark attempt to implement 2D Kinect Fusion
Python ★ 1 9y agoExplain → -
fictional-guide
No description.
C ★ 1 5y agoExplain → -
AchtungMinen
A basic minesweeper game complete with several AIs
Haskell ★ 1 12y agoExplain → -
octopus
Erlang channel-based messaging
Erlang ★ 1 14y agoExplain → -
cs4414-ps4
http://rust-class.org/pages/ps4.html
Rust ★ 1 12y agoExplain → -
B33r
No description.
★ 1 16y agoExplain → -
cpullvm-toolchain ⑂
No description.
LLVM ★ 0 4d agoExplain → -
eld ⑂
Embedded Linker
C++ ★ 0 3d agoExplain → -
picolibc ⑂
picolibc - a C library designed for embedded 32- and 64- bit systems.
★ 0 7d agoExplain → -
crustfilt ⑂
No description.
Rust ★ 0 5mo agoExplain → -
lenary
No description.
★ 0 1y agoExplain → -
riscv-c-api-doc ⑂
Documentation of the RISC-V C API
Makefile ★ 0 8mo agoExplain → -
riscv-elf-psabi-doc ⑂
A RISC-V ELF psABI Document
Python ★ 0 20d agoExplain → -
riscv-asm-manual ⑂
RISC-V Assembly Programmer's Manual
★ 0 1mo agoExplain → -
riscv-toolchain-conventions ⑂
Documenting the expected behaviour and supported command-line switches for GNU and LLVM based RISC-V toolchains
★ 0 3mo agoExplain → -
checkedc-clang ⑂
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
C++ ★ 0 7y agoExplain → -
checkedc ⑂
Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.
C ★ 0 8y agoExplain → -
acle ⑂
Arm C Language Extensions (ACLE)
Python ★ 0 3y agoExplain → -
vsketch ⑂
Generative plotter art environment for Python
Python ★ 0 4y agoExplain → -
vscode-pattern-links ⑂
A VS Code extension that turns text into links with regex patterns.
★ 0 2y agoExplain → -
homebrew-versions
A custom homebrew tap for some formulae I've needed
★ 0 4y agoExplain → -
memes
Useful Images
★ 0 4y agoExplain → -
misc-linters ⑂
Some Internal Linter Scripts
Python ★ 0 5y agoExplain → -
clang-builder ⑂
No description.
★ 0 5y agoExplain → -
gcc-cross-builder ⑂
No description.
★ 0 5y agoExplain → -
infra ⑂
Infrastructure to set up the public Compiler Explorer instances and compilers
★ 0 5y agoExplain → -
compiler-explorer ⑂
Run compilers interactively from your web browser and interact with the assembly
Assembly ★ 0 5y agoExplain → -
lowrisc-toolchains ⑂
UNSUPPORTED INTERNAL toolchain builds
Shell ★ 0 5y agoExplain → -
rust ⑂
Empowering everyone to build reliable and efficient software.
Rust ★ 0 6y agoExplain → -
checkedc-llvm ⑂
This repo contains a version of the LLVM that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
LLVM ★ 0 7y agoExplain → -
rosette ⑂
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket ★ 0 2y agoExplain → -
cplex-template
An example of using CPLEX and Google Test to run MIP experiments from C++
C++ ★ 0 8y agoExplain → -
rosette-extras
A few extra utilities for Rosette.
Racket ★ 0 8y agoExplain → -
homebrew-cask ⑂
A CLI workflow for the administration of Mac applications distributed as binaries
Ruby ★ 0 10y agoExplain → -
BashoBanjo ⑂
Experiment using Riak Core to play distributed music.
Erlang ★ 0 14y agoExplain → -
beautiful-docs ⑂
Pointers to useful, well-written, and otherwise beautiful documentation.
★ 0 13y agoExplain → -
otp ⑂
Erlang/OTP
Erlang ★ 0 14y agoExplain → -
lldb ⑂
Mirror of official lldb git repository located at http://llvm.org/git/lldb. Updated every five minutes.
HTML ★ 0 9y agoExplain → -
libcxx ⑂
Mirror of official libcxx git repository located at http://llvm.org/git/libcxx. Updated every five minutes.
C++ ★ 0 9y agoExplain → -
clang-tools-extra ⑂
Mirror of official clang-tools-extra git repository located at http://llvm.org/git/clang-tools-extra. Updated every five minutes.
C++ ★ 0 9y agoExplain → -
compiler-rt ⑂
Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.
C ★ 0 9y agoExplain → -
node_package ⑂
RPM/Debian/FreeBSD/SmartOS/Solaris/OSX packaging templates for Erlang Nodes
Shell ★ 0 9y agoExplain → -
folsom ⑂
Expose Erlang Events and Metrics
Erlang ★ 0 9y agoExplain → -
basho_bench ⑂
A load-generation and testing tool for basically whatever you can write a returning Erlang function for.
Erlang ★ 0 9y agoExplain → -
riak_ensemble ⑂
Multi-Paxos framework in Erlang
Erlang ★ 0 9y agoExplain → -
bitcask ⑂
because you need another a key/value storage engine
Erlang ★ 0 9y agoExplain → -
riak ⑂
Riak is a decentralized datastore from Basho Technologies.
Shell ★ 0 9y agoExplain → -
riak_pipe ⑂
Riak Pipelines
Erlang ★ 0 9y agoExplain → -
eleveldb ⑂
Erlang LevelDB API
C++ ★ 0 9y agoExplain → -
riak_core ⑂
Distributed systems infrastructure used by Riak.
Erlang ★ 0 9y agoExplain → -
basho_docs ⑂
Basho Products Documentation
CSS ★ 0 9y agoExplain → -
riak_dt ⑂
Convergent replicated datatypes in Erlang
Erlang ★ 0 9y agoExplain → -
erlang_protobuffs ⑂
An implementation of Google's Protocol Buffers for Erlang, based on ngerakines/erlang_protobuffs.
Erlang ★ 0 9y agoExplain → -
riak_kv ⑂
Riak Key/Value Store
Erlang ★ 0 9y agoExplain → -
riak_test ⑂
I'm in your cluster, testing your riaks
Erlang ★ 0 9y agoExplain → -
checkedc-lnt ⑂
Checked C fork of LLVM LNT repo.
Python ★ 0 9y agoExplain → -
checkedc-travis-builder
[Superseded] Build Scripts for Checked C
Shell ★ 0 8y agoExplain → -
checkedc-llvm-test-suite ⑂
This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to benchmark the implementation of Checked C in clang/LLVM. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
C ★ 0 8y agoExplain → -
duality
PoC Auto Differentiation in Rust
Rust ★ 0 10y agoExplain → -
rack-zoidberg
presentation given to scotrug on May 20th 2010
Ruby ★ 0 15y agoExplain → -
ConcProc ⑂
Concurrent process DSL
Idris ★ 0 10y agoExplain → -
cufp_kv_eqc ⑂
Example repository for CUFP tutorial 2015
Erlang ★ 0 10y agoExplain → -
A-Z
No description.
★ 0 13y agoExplain → -
Idris-dev ⑂
A Dependently Typed Functional Programming Language
Haskell ★ 0 10y agoExplain → -
kerl ⑂
Easy building and installing of Erlang/OTP instances
Shell ★ 0 13y agoExplain → -
gitlabhq ⑂
Project management and code hosting application. Follow us on twitter @gitlabhq
Ruby ★ 0 13y agoExplain →
No repos match these filters.