Iainmon/OPLSS22 Iainmon/OPLSS22

  • Stars
    star
    1
  • Language Agda
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Iainmon/OPLSS22
github

Iainmon

Reviews

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

Repository Details

More Repositories

1

Cocoa.cr

A framework for developing macOS apps with a GUI using Crystal
Crystal
18
star
2

OpenWeatherMap-Cache-Server

Easily cache Open Weather Map API calls, and string multiple free accounts together.
TypeScript
14
star
3

LambdaScript

A functional programming language implementing the semantic rules of the lambda calculus (λ-calculus).
C++
4
star
4

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.
Crystal
4
star
5

hslr

A GLSL language embedding in Haskell.
Haskell
3
star
6

wine

A way to configure scripts for testing and deployment.
JavaScript
1
star
7

wasm-edge-detection

WebAssembly
1
star
8

Thread.js

Javascript Async the way I like it. The first library I made.
JavaScript
1
star
9

Oceanit-MagicMirrorModules

An API I developed when interning at Oceanit.
PHP
1
star
10

forloop.cr

For-loops for crystal lang
Crystal
1
star
11

aibox

A networking gatekeeper for arduinos.
JavaScript
1
star
12

lufinance

Python
1
star
13

CS-340-Group-115

HTML
1
star