Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by iitalics
A curated list of projects in awesome lists by iitalics .
https://github.com/iitalics/opal
Simple and powerful programming language with type inference
functional-programming programming-language static-typing type-inference
Last synced: 05 Nov 2024
https://github.com/iitalics/iotapass
Reimplementation of Racket nanopass, with emphasis on cleaner code, better errors, modern Racket codebase
Last synced: 05 Nov 2024
https://github.com/iitalics/ppx_lens
OCaml preprocessor extension & small library for creating and using lenses
Last synced: 05 Nov 2024
https://github.com/iitalics/xy-lang
Experimental functional programming language
Last synced: 05 Nov 2024
https://github.com/iitalics/mactypes
Variation on types-as-macros to explore different approaches
Last synced: 05 Nov 2024
https://github.com/iitalics/ppx_cps
Small OCaml extension (PPX) for rewriting into CPS style
Last synced: 05 Nov 2024
https://github.com/iitalics/agdasnake
Compiler implementation in Agda, inspired by Benjamin Lerner's slithery compilers course
Last synced: 05 Nov 2024
https://github.com/iitalics/lua-ml
Compiler from basic ML language to Lua, in Lua
Last synced: 05 Nov 2024
https://github.com/iitalics/-lang-musiclibrary
Declare (using s-expressions) and automatically populate a music library
Last synced: 05 Nov 2024
https://github.com/iitalics/type-inference-agda
agda formalization of "A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference" (ICFP 2019)
Last synced: 05 Nov 2024
https://github.com/iitalics/xy-lang-bootstrap
XY Compiler to C written in XY
Last synced: 05 Nov 2024
https://github.com/iitalics/protobuf-racket
Implementation of Google's Protocol Buffers (proto3) for Racket
Last synced: 05 Nov 2024
https://github.com/iitalics/jupiter
Experimental language with type inference, overloading and symbol identifiers
Last synced: 05 Nov 2024
https://github.com/iitalics/c-json-parser
Title says all, an almost complete JSON parser written entirely in C
Last synced: 05 Nov 2024
https://github.com/iitalics/ctx-shadow-racket
Tests with using context shadowing to give the appearance of mutation
Last synced: 05 Nov 2024
https://github.com/iitalics/cog-lang
Statically typed programming language with type inference
Last synced: 05 Nov 2024
https://github.com/iitalics/dotfiles
im doing the thing im making my own dotfiles repo
Last synced: 05 Nov 2024
https://github.com/iitalics/botris-battle-bluefin
WIP bot for Botris Battle https://botrisbattle.com/
Last synced: 05 Nov 2024
https://github.com/iitalics/type-inference
Type inference implementations in Racket
Last synced: 05 Nov 2024
https://github.com/iitalics/synth
Synthesizer-language thing for command line 'aplay' tool, written in C++
Last synced: 05 Nov 2024
https://github.com/iitalics/resume-2020
2020 Edition of Milo Overengineering his CV
Last synced: 05 Nov 2024
https://github.com/iitalics/schemer
Basic Scheme interpreter written in C++, probably doesn't follow all the standards
Last synced: 05 Nov 2024
https://github.com/iitalics/physics-macros
Racket macros and other utils for lab reports
Last synced: 05 Nov 2024
https://github.com/iitalics/personal-homepage
Repository for my personal homepage
Last synced: 05 Nov 2024
https://github.com/iitalics/ml
ML-like scripting language with lazy evaluation and partial application
Last synced: 05 Nov 2024
https://github.com/iitalics/lam-os
Another attempt at a VM-based operating system
Last synced: 05 Nov 2024
https://github.com/iitalics/makawaoweather
Interactive graph of weather data in upcountry Maui
Last synced: 05 Nov 2024
https://github.com/iitalics/exa
racket library for simulations with simple derivatives
Last synced: 05 Nov 2024
https://github.com/iitalics/gold-road
silly game written with Racket OpenGL bindings
Last synced: 05 Nov 2024
https://github.com/iitalics/icarus
simple language interpreter for experimentation
Last synced: 05 Nov 2024
https://github.com/iitalics/fusion-rkt
Racket macro for faster list comprehensions
Last synced: 05 Nov 2024
https://github.com/iitalics/cyber-like
scriptable cyberpunk aesthetic roguelike
Last synced: 05 Nov 2024