iitalics/rustbus Fork of KillingSpark/rustbus

Dbus transport in pure rust

Size: 910 KB - Last synced: 29 days ago - Pushed: 29 days ago - Stars: 0 - Forks: 0

iitalics/dotfiles

im doing the thing im making my own dotfiles repo

Language: Emacs Lisp - Size: 19.5 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

iitalics/nightout-frontend

Night-Out Frontend

Language: JavaScript - Size: 250 KB - Last synced: 10 months ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

iitalics/Themed-language Fork of Uladox/Themed-language

Themed language requirements

Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

iitalics/Cog-Lang

Statically typed programming language with type inference

Language: JavaScript - Size: 156 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

iitalics/C-JSON-parser

Title says all, an almost complete JSON parser written entirely in C

Language: C - Size: 109 KB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

iitalics/bdf Fork of embedded-graphics/bdf

BDF font tools

Language: Rust - Size: 225 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

iitalics/toml-test Fork of BurntSushi/toml-test

A language agnostic test suite for TOML parsers.

Size: 347 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

iitalics/Opal

Simple and powerful programming language with type inference

Language: C++ - Size: 339 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 22 - Forks: 0

iitalics/Lua-ML

Compiler from basic ML language to Lua, in Lua

Language: Lua - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 3 - Forks: 0

iitalics/iotapass

Reimplementation of Racket nanopass, with emphasis on cleaner code, better errors, modern Racket codebase

Language: Racket - Size: 118 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 10 - Forks: 0

iitalics/tokio Fork of tokio-rs/tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Size: 8.87 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

iitalics/protobuf-racket

Implementation of Google's Protocol Buffers (proto3) for Racket

Language: Racket - Size: 235 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 1

iitalics/tbp-spec Fork of tetris-bot-protocol/tbp-spec

Specification for the Tetris Bot Protocol

Size: 7.81 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

iitalics/rustic Fork of brotzeit/rustic

Rust development environment for Emacs

Size: 1.91 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

iitalics/protobuf Fork of protocolbuffers/protobuf

Protocol Buffers - Google's data interchange format

Size: 73.3 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

iitalics/advent-2020

now with 20-20 vision

Language: C - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

iitalics/labs Fork of docker/labs

This is a collection of tutorials for learning how to use Docker with various tools. Contributions welcome.

Size: 211 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

iitalics/diagonal

a game i'm working on

Language: OCaml - Size: 1.39 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0

iitalics/ml

ML-like scripting language with lazy evaluation and partial application

Language: C++ - Size: 164 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

iitalics/advent-2019

Language: Racket - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

iitalics/gold-road

silly game written with Racket OpenGL bindings

Language: Racket - Size: 60.5 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/resume-2020

2020 Edition of Milo Overengineering his CV

Language: Racket - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

iitalics/ax

WIP layout engine and reactive framework

Language: C - Size: 189 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 2

iitalics/hail Fork of hail-is/hail

Scalable genomic data analysis.

Language: Python - Size: 74.8 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

iitalics/AgdaStuff

Agda Proofs and Experiments

Language: Agda - Size: 94.7 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 3 - Forks: 0

iitalics/agda-stdlib Fork of agda/agda-stdlib

The Agda standard library

Language: Agda - Size: 59.6 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

iitalics/rust-redex

Rust (Patina) in Redex

Language: Racket - Size: 30.3 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 6 - Forks: 0

iitalics/type-inference-agda

agda formalization of "A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference" (ICFP 2019)

Language: Agda - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0

iitalics/-lang-musiclibrary

Declare (using s-expressions) and automatically populate a music library

Language: Racket - Size: 217 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0

iitalics/AgdaSnake

Compiler implementation in Agda, inspired by Benjamin Lerner's slithery compilers course

Language: Agda - Size: 23.4 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 3 - Forks: 0

iitalics/mactypes

Variation on types-as-macros to explore different approaches

Language: Racket - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 4 - Forks: 0

iitalics/lablgtk Fork of garrigue/lablgtk

Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git

Language: OCaml - Size: 7.02 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

iitalics/blog

Latest blog iteration as of 2019

Language: Racket - Size: 28.3 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

iitalics/Personal-homepage

Repository for my personal homepage

Language: Racket - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 1

iitalics/racket Fork of racket/racket

The Racket repository

Language: Racket - Size: 182 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

iitalics/cur Fork of stchang/cur

Powerful meta-programming for powerful types.

Language: Racket - Size: 5.2 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

iitalics/ppx_lens

OCaml preprocessor extension & small library for creating and using lenses

Language: OCaml - Size: 27.3 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 5 - Forks: 0

iitalics/quality

Finally a quality programming language

Language: OCaml - Size: 72.3 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

iitalics/e2d

2D Game Engine for Racket

Language: Racket - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

iitalics/ppx_cps

Small OCaml extension (PPX) for rewriting into CPS style

Language: OCaml - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 3 - Forks: 0

iitalics/org-parser-cpp

Org parser in C++

Language: C++ - Size: 50.8 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/syntax-classes Fork of lexi-lambda/syntax-classes

Language: Racket - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

iitalics/hackett Fork of lexi-lambda/hackett

WIP implementation of a Haskell 98-like Lisp in Racket

Language: Racket - Size: 1.28 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

iitalics/Emacs-config

My emacs configuration

Language: Emacs Lisp - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

iitalics/agda Fork of agda/agda

Agda is a dependently typed programming language / interactive theorem prover.

Language: Haskell - Size: 91.8 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

iitalics/syntax-generic Fork of michaelballantyne/syntax-generic

Language forms for generic functions over syntax objects in Racket

Language: Racket - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

iitalics/racket-mode Fork of greghendershott/racket-mode

GNU Emacs major modes for Racket: Edit and REPL.

Language: Emacs Lisp - Size: 1.39 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

iitalics/nixpkgs Fork of NixOS/nixpkgs

Nix Packages collection

Language: Nix - Size: 733 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

iitalics/dune Fork of ocaml/dune

A composable build system for OCaml

Language: OCaml - Size: 3.24 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

iitalics/patches

Header for working with patches

Language: C++ - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

iitalics/lwt Fork of ocsigen/lwt

OCaml promises and concurrent I/O.

Language: OCaml - Size: 7.77 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/tuareg Fork of ocaml/tuareg

Emacs OCaml mode

Language: Emacs Lisp - Size: 976 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/racket-irc-client Fork of lexi-lambda/racket-irc-client

Language: Racket - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/batteries-included Fork of ocaml-batteries-team/batteries-included

Batteries Included project

Language: OCaml - Size: 21.4 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/nanocaml Fork of nanocaml/nanocaml

Nanopass for OCaml

Language: OCaml - Size: 111 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 1

iitalics/XY-lang

Experimental functional programming language

Language: C++ - Size: 379 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 4 - Forks: 0

iitalics/ante Fork of jfecher/ante

The compile-time language

Language: C++ - Size: 38.2 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/agar-ircd

IRC server implemented in OCaml

Language: OCaml - Size: 93.8 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/nanopass-framework-racket Fork of nanopass/nanopass-framework-racket

nanopass compiler framework for Racket

Language: Racket - Size: 26 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/htdp Fork of racket/htdp

Language: Racket - Size: 8.65 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/yes Fork of cgati/yes

An implementation of the `yes` command in Rust

Language: Rust - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/mc Fork of oridb/mc

Myrddin Compiler

Language: C - Size: 5.35 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/scribble Fork of racket/scribble

Language: Racket - Size: 7.72 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

iitalics/jiyunet Fork of jiyunet/jiyunet

Distributed, censorship-resistant messageboard.

Language: Rust - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

iitalics/chibi-rs

Chibi scheme interface for Rust

Language: Rust - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

iitalics/SFGUI Fork of TankOs/SFGUI

Simple and Fast Graphical User Interface

Language: C++ - Size: 3.35 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

iitalics/racl Fork of tonyg/racl

Racket bindings for nacl.cr.yp.to

Language: Racket - Size: 611 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

iitalics/ctx-shadow-racket

Tests with using context shadowing to give the appearance of mutation

Language: Racket - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iitalics/jiyupro Fork of jiyunet/jiyupro

Prototype implementation for Jiyunet, a blockchain-based distributed text messageboard.

Language: Rust - Size: 30.3 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iitalics/reinforcement-learning Fork of rlcode/reinforcement-learning

Minimal and Clean Reinforcement Learning Examples

Language: Python - Size: 8.51 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iitalics/groundstation

for AIAA (Ethan)

Language: JavaScript - Size: 66.4 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iitalics/vdash

similar to Turnstile

Language: Racket - Size: 34.2 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

iitalics/NASA-SL-2017 Fork of AIAANortheastern/NASA-SL-2017

Repo for NASA USLI Payload (and other electronics) software

Language: Arduino - Size: 867 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iitalics/Physics-Macros

Racket macros and other utils for lab reports

Language: Racket - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iitalics/macrotypes Fork of stchang/macrotypes

Language: Racket - Size: 1.62 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

iitalics/exa

racket library for simulations with simple derivatives

Language: Racket - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iitalics/fusion-rkt

Racket macro for faster list comprehensions

Language: Racket - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/lam-os

Another attempt at a VM-based operating system

Language: C - Size: 33.2 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iitalics/type-inference

Type inference implementations in Racket

Language: Racket - Size: 45.9 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iitalics/piston Fork of PistonDevelopers/piston

A modular game engine written in Rust

Language: Rust - Size: 3.86 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/kittyFork1 Fork of kovidgoyal/kitty

A modern, hackable, featureful, OpenGL based terminal emulator

Language: C - Size: 1.83 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/icarus

simple language interpreter for experimentation

Language: C++ - Size: 52.7 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/cyber-like

scriptable cyberpunk aesthetic roguelike

Language: C++ - Size: 66.4 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/advent-2016

Advent of Code Solutions

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/OCOS

Objects & Channels Operating System

Language: C++ - Size: 49.8 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/multi2sim Fork of agostini01/multi2sim

Multi2Sim source code

Language: C++ - Size: 33.1 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/MakawaoWeather

Interactive graph of weather data in upcountry Maui

Language: JavaScript - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

iitalics/cforth Fork of MitchBradley/cforth

Mitch Bradley's CForth implementation

Language: C - Size: 1.03 MB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

iitalics/sparsehash Fork of sparsehash/sparsehash

Automatically exported from code.google.com/p/sparsehash

Language: C++ - Size: 891 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

iitalics/Jupiter

Experimental language with type inference, overloading and symbol identifiers

Language: C++ - Size: 617 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 1 - Forks: 0

iitalics/xy-lang-bootstrap

XY Compiler to C written in XY

Language: C - Size: 238 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 2 - Forks: 1

iitalics/shooter

Top down shooter game

Language: C++ - Size: 254 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

iitalics/Synth

Synthesizer-language thing for command line 'aplay' tool, written in C++

Language: C++ - Size: 141 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

iitalics/argvments

Program arguments parser, for C

Language: C - Size: 129 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

iitalics/Scheme-Interpreter-C

Self explanatory

Language: C - Size: 199 KB - Last synced: about 1 month ago - Pushed: about 11 years ago - Stars: 1 - Forks: 0

iitalics/Schemer

Basic Scheme interpreter written in C++, probably doesn't follow all the standards

Language: C++ - Size: 250 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0