LLazarek/llazarek.github.io

Language: HTML - Size: 14.9 MB - Last synced: 4 days ago - Pushed: 5 days ago - Stars: 1 - Forks: 0

LLazarek/kb-layouts

Language: C - Size: 3.91 KB - Last synced: 4 days ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

LLazarek/blame-evaluation-gt

Language: Racket - Size: 6.73 MB - Last synced: 4 days ago - Pushed: 4 months ago - Stars: 2 - Forks: 3

LLazarek/sgrep

grep for s-expression patterns

Language: Racket - Size: 1000 Bytes - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 6 - Forks: 0

LLazarek/modalc

Language: Racket - Size: 47.9 KB - Last synced: 4 days ago - Pushed: about 2 months ago - Stars: 0 - Forks: 1

LLazarek/condor-tools Fork of arcana-lab/condor-tools

Tools for using condor.

Language: Shell - Size: 11.7 KB - Last synced: 4 days ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

LLazarek/pash-ddl-model

Language: Racket - Size: 5.86 KB - Last synced: 4 days ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

LLazarek/gtp-benchmarks Fork of utahplt/gtp-benchmarks

Gradual Typing Performance benchmarks

Language: Racket - Size: 15.4 MB - Last synced: 4 days ago - Pushed: 25 days ago - Stars: 1 - Forks: 3

LLazarek/mutate

Inject bugs into your programs!

Language: Racket - Size: 539 KB - Last synced: 4 days ago - Pushed: 9 months ago - Stars: 7 - Forks: 1

LLazarek/webgrep

Webgrep: Recursively grep the web

Language: Racket - Size: 12.7 KB - Last synced: 4 days ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

LLazarek/nu-watsup-cs.github.io Fork of nu-watsup-cs/nu-watsup-cs.github.io 📦

NU WatsUp CS Website!

Language: HTML - Size: 132 KB - Last synced: 4 days ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

LLazarek/moral-reasoner 📦

A project exploring the applicability of neural networks to moral reasoning.

Language: Python - Size: 73.2 KB - Last synced: 4 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

LLazarek/big-diff-monitor

Language: Racket - Size: 1000 Bytes - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

LLazarek/functional-struct

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

LLazarek/asciigraph

A simple (pipe-able) and lightweight utility to produce ascii-art graphs of arbitrary data.

Language: C++ - Size: 159 KB - Last synced: 4 days ago - Pushed: almost 5 years ago - Stars: 2 - Forks: 0

LLazarek/ruinit

A simple testing framework for Racket

Language: Racket - Size: 66.4 KB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

LLazarek/typed-racket Fork of bennn/typed-racket

Typed Racket

Size: 11.7 MB - Last synced: 4 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

LLazarek/require-typed-check Fork of bennn/require-typed-check

Racket's require/typed, but avoids generating contracts for typed-to-typed interaction

Language: Racket - Size: 31.3 KB - Last synced: 4 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

LLazarek/github-actions

Language: Racket - Size: 6.84 KB - Last synced: 4 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

LLazarek/utill

Language: Racket - Size: 6.84 KB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

LLazarek/configurable

Language: Racket - Size: 15.6 KB - Last synced: 4 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

LLazarek/process-queue

Language: Racket - Size: 32.2 KB - Last synced: 4 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

LLazarek/simple-option

Language: Racket - Size: 7.81 KB - Last synced: 4 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

LLazarek/auto_usb

Language: Python - Size: 1.95 KB - Last synced: 4 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

LLazarek/pict-util

Language: Racket - Size: 2.93 KB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

LLazarek/plot-util

Language: Racket - Size: 14.6 KB - Last synced: 4 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

LLazarek/simple-graph

Language: Racket - Size: 4.88 KB - Last synced: 4 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

LLazarek/rscript

Language: Racket - Size: 32.2 KB - Last synced: 4 days ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

LLazarek/complot

Language: Racket - Size: 950 KB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

LLazarek/nu-sc-oracle

Language: Racket - Size: 5.04 MB - Last synced: 4 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

LLazarek/sc-oracle-dev

Language: Racket - Size: 4.66 MB - Last synced: 4 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

LLazarek/network-ctc-scripts

Language: Python - Size: 4.88 KB - Last synced: 4 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

LLazarek/declarative-commandline

Language: Racket - Size: 2.93 KB - Last synced: 4 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

LLazarek/racket Fork of racket/racket

The Racket repository

Language: Racket - Size: 183 MB - Last synced: 4 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

LLazarek/lc Fork of rfindler/lc

Language: Racket - Size: 14.6 KB - Last synced: 4 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

LLazarek/mutate-dumb

Language: Racket - Size: 15.6 KB - Last synced: 4 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

LLazarek/handlers

Language: Racket - Size: 0 Bytes - Last synced: 4 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

LLazarek/racket-rash Fork of willghatch/racket-rash

The Reckless Racket Shell

Language: Racket - Size: 635 KB - Last synced: 4 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

LLazarek/blame-model

Language: Racket - Size: 9.77 KB - Last synced: 4 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

LLazarek/ptext

ptext: A language for programmable plain text

Language: Racket - Size: 5.86 KB - Last synced: 4 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

LLazarek/ltl-seq-ctc

Language: Racket - Size: 92.8 KB - Last synced: 4 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

LLazarek/webcrawl

Web crawler

Language: Racket - Size: 2.93 KB - Last synced: 4 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

LLazarek/cpp-interp

Command interpreter for SpaceHAUC project

Language: C++ - Size: 269 KB - Last synced: 4 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

LLazarek/plot-bestfit Fork of florence/plot-bestfit

Library for racket's plot that does lines of best fit

Language: Racket - Size: 40 KB - Last synced: 4 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

LLazarek/ctxlist-evaluation

Language: Python - Size: 855 KB - Last synced: 4 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

LLazarek/cdh_main Fork of SPACE-HAUC/cdh_main

Command and Data Handling main driver program

Language: CMake - Size: 428 KB - Last synced: 4 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

LLazarek/sit

Sit lowers the barriers to testing with simple but flexible unit test generation. There's no longer any reason not to test your code!

Language: Python - Size: 41 KB - Last synced: 4 days ago - Pushed: over 7 years ago - Stars: 2 - Forks: 0

LLazarek/BalanceBot

Language: C - Size: 8.27 MB - Last synced: 4 days ago - Pushed: about 8 years ago - Stars: 1 - Forks: 1

LLazarek/projects-personal

Size: 2.48 MB - Last synced: 4 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0