Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by qsctr
A curated list of projects in awesome lists by qsctr .
https://github.com/qsctr/metro
A functional programming language (in development)
Last synced: 20 Nov 2024
https://github.com/qsctr/hackmit-2020-puzzle
Our solutions to the HackMIT 2020 puzzle
Last synced: 20 Nov 2024
https://github.com/qsctr/coq-quantified-theorems
Quantified theorem benchmarks in Coq translated from https://github.com/wky/aeval/tree/adt-ind/bench_adt
Last synced: 20 Nov 2024
https://github.com/qsctr/vscode-haskell-config
My VSCode workspace configuration for Haskell projects
Last synced: 20 Nov 2024
https://github.com/qsctr/simple-perceptron
Classifying points with perceptron (AI)
Last synced: 20 Nov 2024
https://github.com/qsctr/ret-hacking-robot
Chrome app and Arduino code for RET robot
Last synced: 20 Nov 2024
https://github.com/qsctr/smt2coq
Translate SMT-LIB quantified theorems into Coq
Last synced: 20 Nov 2024
https://github.com/qsctr/perceptron-half-moon
Classifying double half moon with perceptron (AI)
Last synced: 20 Nov 2024
https://github.com/qsctr/simple-maps
Something I made a long time ago that I sort of finished
Last synced: 20 Nov 2024
https://github.com/qsctr/neural-network-classify
Classifying points with neural network (AI)
Last synced: 20 Nov 2024
https://github.com/qsctr/missionaries-and-cannibals
Missionaries and cannibals (AI)
Last synced: 20 Nov 2024
https://github.com/qsctr/language-guess
Language guess using letter frequencies (AI)
Last synced: 20 Nov 2024
https://github.com/qsctr/neural-network
Multi-layer feed-forward neural network library in Haskell (AI)
Last synced: 20 Nov 2024
https://github.com/qsctr/logic-gate-calculator
Single-digit LED calculator using logic gates
Last synced: 20 Nov 2024
https://github.com/qsctr/mdl-materialsnackbar-typescript
TypeScript type definition for MaterialSnackbar in MDL
Last synced: 20 Nov 2024
https://github.com/qsctr/haskell-robotc
Haskell EDSL for generating RobotC code (work in progress)
Last synced: 20 Nov 2024
https://github.com/qsctr/material-tasks
Something I made a long time ago that I never finished
Last synced: 20 Nov 2024
https://github.com/qsctr/edsl-typeclasses
Prelude data types as typeclasses, for EDSLs
Last synced: 20 Nov 2024
https://github.com/qsctr/character-recognition
Character recognition with perceptrons (AI)
Last synced: 20 Nov 2024
https://github.com/qsctr/decide
A program to help our vex team decide where to eat lunch
Last synced: 20 Nov 2024
https://github.com/qsctr/ai
Blog and links to projects for Honors AI class in high school
Last synced: 20 Nov 2024
https://github.com/qsctr/google-icon-links
Something I made a long time ago that I never finished
Last synced: 20 Nov 2024
https://github.com/qsctr/htmldialogelement-typescript
TypeScript type definition for HTMLDialogElement
Last synced: 20 Nov 2024
https://github.com/qsctr/vex-2018
Program for 4253G 2018 VEX Turning Point robot
Last synced: 20 Nov 2024