jmanuel1
Follow
-
concat Public
A poorly named Python-based concatenative programming language.
-
-
-
idris-spring-boot-example Public
Forked from mmhelloworld/idris-spring-boot-exampleIdris Spring Boot example
Idris UpdatedNov 17, 2024 -
-
treereduce Public
Forked from langston-barrett/treereduceA fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
C++ MIT License UpdatedAug 1, 2024 -
atom-language-idris Public
Forked from idris-hackers/atom-language-idrisA Idris Mode for Atom.io
TypeScript MIT License UpdatedJul 23, 2024 -
html-slide-template Public
My reveal.js slide template, based on the Google Slides Paradigm theme
CSS MIT License UpdatedJun 29, 2024 -
todoer Public
Automatically add an email to your local todo.txt when you star it.
-
personal-website Public
Forked from github/personal-websiteSome guy's website.
HTML Other UpdatedApr 6, 2024 -
material-search Public
A material design search website prototype.
JavaScript Other UpdatedFeb 27, 2024 -
-
koka Public
Forked from koka-lang/kokaKoka language compiler and interpreter
Haskell Other UpdatedJul 9, 2023 -
-
-
flight-manual.atom.io Public
Forked from atom/flight-manual.atom.io📖 Documentation for Atom, generated by nanoc, hosted by GitHub Pages
SCSS Other UpdatedJun 10, 2023 -
-
ll Public
"Reference Counting as a Computational Interpretation of Linear Logic" in Rust
Rust MIT License UpdatedMay 6, 2023 -
-
-
learn-tla-plus Public
Going through Hillel Wayne's Learn TLA+ tutorial https://www.learntla.com/index.html
TLA UpdatedJan 26, 2023 -
tinyos Public
Forked from zacstewart/tinyosA tiny OS kernel written in Rust
Rust UpdatedJan 4, 2023 -
-
what-ails-us-cities Public
Forked from llorenspujol/parcel-pixijs-quickstarterExample App using pixiJS and Typescript bundled with parcel
TypeScript UpdatedJul 16, 2022 -
-
-
idr-pure-prolog Public
Forked from Sintrastes/idr-pure-prologEmbeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.
Idris MIT License UpdatedMar 8, 2022 -
-
python-ast-visualizer Public
Forked from pombredanne/python-ast-visualizerGraphviz visualizations of Python ASTs
Python MIT License UpdatedDec 9, 2021 -
Radiant Public
Forked from JakeLin/ReactNativeWeatherA weather app developed in React Native. It is the React Native version of SwiftWeather.
JavaScript MIT License UpdatedNov 3, 2021