nickmertin
Student/programmer; Queen's University Computer Engineering '22 Also check out my projects on GitLab/nickmertin
Kingston Ontario, Canada
Pinned Repositories
5225A-2017-2018
chemtools
Various tools for working with chemical models in C++
Java-Hold-Em
Multiplayer command-line Texas Hold 'Em poker, with support for LAN games using telnet
Self-Extracting-Installer
Similar concept to self-extracting ZIP files
simple-vex-iq-teleop
Very simple and customizeable TeleOp control program for a VEX IQ-based robot, written in ROBOTC.
nickmertin's Repositories
nickmertin/5225A-2017-2018
nickmertin/async-arbiter
A Clojure(Script) library that provides an async-enabled key-based mutual exclusion facility.
nickmertin/atomicbox
Safe atomic Box types for Rust
nickmertin/BowlerStudioConfiguration
A personal configurations repository for BowlerStudio.
nickmertin/bug-example
nickmertin/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
nickmertin/ChaiScript
Embedded Scripting Language Designed for C++
nickmertin/chrome-set-useragent
Template for Chrome/Chromium extension to set the user agent string of specific sites
nickmertin/clojure
The Clojure programming language
nickmertin/cores
Teensy Core Libraries for Arduino
nickmertin/cortex-m-rtic
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
nickmertin/gitlib
nickmertin/imbl
Blazing fast immutable collection datatypes for Rust.
nickmertin/libm
A port of MUSL's libm to Rust.
nickmertin/mdnahas.github.io
Michael Nahas's professional website
nickmertin/mes
Rust library for supporting probability measures over arbitrary data types.
nickmertin/moore
A hardware compiler based on LLHD and CIRCT
nickmertin/nalgebra
Linear algebra library for Rust.
nickmertin/paos
Clojure SOAP client
nickmertin/pros
Source code for PROS kernel: open source C/C++ development for the VEX V5 microcontroller
nickmertin/pros-cli
Command Line Interface for managing PROS projects. Works with V5 and the Cortex
nickmertin/pros-docs
Source for the PROS website
nickmertin/qake-plugin-cc
C/C++ Compilation Plugin for the Qake build system
nickmertin/ring
Clojure HTTP server abstraction
nickmertin/rp-hal
A Rust Embedded-HAL for the rp series microcontrollers
nickmertin/rust-analyzer
A Rust compiler front-end for IDEs
nickmertin/SimMOS
CMOS logic simulator
nickmertin/slice-copy
Go style copying for slices in Rust
nickmertin/strictness-polymorphism
Rudimentary support for strictness-polymorphic types in GHC
nickmertin/WASM-ImageMagick
Webassembly compilation of https://github.com/ImageMagick/ImageMagick & samples