Pinned Repositories
aibox
A networking gatekeeper for arduinos.
ChAI
A Chapel library for Machine Learning that supports distributed inference, automatic differentiation, and CUDA/HIP utilization.
Chess-Player-with-Python
Simple chess player that can run both human and AI games
Cocoa.cr
A framework for developing macOS apps with a GUI using Crystal
hslr
A GLSL language embedding in Haskell.
LambdaScript
A functional programming language implementing the semantic rules of the lambda calculus (λ-calculus).
macOS-crystal-packaging
An easy and headache free way to create a Crystal executable to run on macOS systems, without having the Crystal Language installed.
OpenWeatherMap-Cache-Server
Easily cache Open Weather Map API calls, and string multiple free accounts together.
xrs
A library that facilitates the production of explanations for derivations within a rule system.
Iainmon's Repositories
Iainmon/ChAI
A Chapel library for Machine Learning that supports distributed inference, automatic differentiation, and CUDA/HIP utilization.
Iainmon/OpenWeatherMap-Cache-Server
Easily cache Open Weather Map API calls, and string multiple free accounts together.
Iainmon/CS-340-Group-115
Iainmon/learning-coq
Iainmon/network-game
Iainmon/bergamot-haskell
Iainmon/ChAI-GH-Actions-Test
Iainmon/chai.py
Iainmon/chapel
a Productive Parallel Programming Language
Iainmon/CS-340
Iainmon/CS-344
Iainmon/CS-457
Iainmon/CS-475
Iainmon/elm-compiler
Compiler for Elm, a functional language for reliable webapps.
Iainmon/FicusLang
Iainmon/general-unification
Iainmon/git_intro
Iainmon/iains-blog
Iainmon/LambdaScript.py
Iainmon/math-notes
Iainmon/matterjs-balls-game
Iainmon/ml-chapel
Iainmon/ml-chapel-summer-23
Iainmon/ousiodis
Iainmon/proof-tree-playground
Iainmon/spearfishing-game-public
Iainmon/term-unification
Iainmon/WASM-Compute-Stream
Streaming inputs to a client running a webpage for them to calculate the result for the server.
Iainmon/webgl-abstract-art
Iainmon/xtra-ui