jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.
Imagine LearningUnited States
Pinned Repositories
intro-to-react-demo
The demonstration from our Intro to React meeting on 2/23/21.
concat
A poorly named Python-based concatenative programming language.
CourseEasy
hexbot
Every request returns a different hex code—all 16,777,216 of them.
html-slide-template
My reveal.js slide template, based on the Google Slides Paradigm theme
idris-stuff
Things I try to do in Idris.
multitab
A new tab that opens other new tabs
personal-website
Some guy's website.
todoer
Automatically add an email to your local todo.txt when you star it.
jmanuel1's Repositories
jmanuel1/concat
A poorly named Python-based concatenative programming language.
jmanuel1/todoer
Automatically add an email to your local todo.txt when you star it.
jmanuel1/idris-stuff
Things I try to do in Idris.
jmanuel1/html-slide-template
My reveal.js slide template, based on the Google Slides Paradigm theme
jmanuel1/personal-website
Some guy's website.
jmanuel1/atom-language-idris
A Idris Mode for Atom.io
jmanuel1/elisp.js
Elisp to JS transpiler
jmanuel1/flight-manual.atom.io
📖 Documentation for Atom, generated by nanoc, hosted by GitHub Pages
jmanuel1/gat
Partial git implementation. See https://wyag.thb.lt.
jmanuel1/hmviz
jmanuel1/idr-pure-prolog
Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.
jmanuel1/idris-micronaut
Micronaut Idris -micronaut Application
jmanuel1/idris-spring-boot-example
Idris Spring Boot example
jmanuel1/jmanuel1
return self.about()
jmanuel1/kilo
https://viewsourcecode.org/snaptoken/kilo/index.html
jmanuel1/koka
Koka language compiler and interpreter
jmanuel1/learn-tla-plus
Going through Hillel Wayne's Learn TLA+ tutorial https://www.learntla.com/index.html
jmanuel1/linter-prolog
jmanuel1/ll
"Reference Counting as a Computational Interpretation of Linear Logic" in Rust
jmanuel1/material-search
A material design search website prototype.
jmanuel1/python-ast-visualizer
Graphviz visualizations of Python ASTs
jmanuel1/Radiant
A weather app developed in React Native. It is the React Native version of SwiftWeather.
jmanuel1/redacted-lang
An anomolous programming language.
jmanuel1/sust-modeling
jmanuel1/synthesis
Program synthesis stuff, uses Rosette
jmanuel1/tcs4
https://core.ac.uk/download/pdf/82173346.pdf
jmanuel1/tinyos
A tiny OS kernel written in Rust
jmanuel1/tree-sitter-idris
jmanuel1/treereduce
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
jmanuel1/what-ails-us-cities
Example App using pixiJS and Typescript bundled with parcel