prattmic/icfp2015 prattmic/icfp2015

  • Stars
    star
    1
  • Language
    Go
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
prattmic/icfp2015
github

prattmic

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

MIRI Fan Club ICFP 2015 entry

More Repositories

1

F4OS

A small RTOS for ARM Cortex-M4F microcontrollers.
C
81
star
2

embedded-bazel

A Bazel workspace for embedded systems
Assembly
12
star
3

arm-cortex-m4-hardfloat-toolchain

A full GNU toolchain for building for the Cortex-M4 with full hardware floating point calling conventions.
Shell
9
star
4

benchfmt-convert

Convert various benchmarking formats to benchfmt
Go
8
star
5

stm32f4-autopilot

An autopilot built on the STM32F4-Discovery platform
C
7
star
6

rust-micro

Rust for microcontrollers
Rust
6
star
7

armv7m-emulator

An ARMv7-M emulator, written in Go
Go
5
star
8

gvrun

Simple sandboxing with gVisor
Go
4
star
9

gnucash_analysis

Analyze GnuCash data with Pandas
Jupyter Notebook
4
star
10

ghostblog

Python Ghost Library
Python
2
star
11

dotfiles

My dotfiles
Vim Script
2
star
12

LC-3b

LC-3b CPU in Verilog
Verilog
2
star
13

waldo

Low power GPS tracker
C++
2
star
14

codesearch

Go
1
star
15

markdown-pgo

Source code for https://go.dev/blog/pgo
Go
1
star
16

panda-cub

Panda Cub, a tiny OS-like thing for the PandaBoard
C
1
star
17

ARC-ICFP-2012

Go
1
star
18

scratch

Scratchpad for bug reproducers and so on
Go
1
star
19

NCSU-Schedule-Parser

Parses NCSU class schedules for manipulation (like adding to Google Calendar)
Python
1
star
20

Resume

My resume in LaTeX
TeX
1
star