Website for the Linux User's Group of Oregon State University
☆18Mar 29, 2021Updated 5 years ago
Alternatives and similar repositories for OSULUG-Website
Users that are interested in OSULUG-Website are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A virtual machine for Monte.☆70Oct 22, 2025Updated 8 months ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- Compiler and interpreter for a miranda-like functional language in Python.☆12Dec 28, 2011Updated 14 years ago
- A DSL/LISP dialect written in Haskell☆21Aug 30, 2018Updated 7 years ago
- An FCEUX NES emulator extension that receives SMS messages while you are playing a game, and allows the senders to manipulate the memory …☆20Oct 7, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Topic Modeling over Paul Graham's essays☆12Jun 25, 2018Updated 8 years ago
- ☆10Jul 21, 2022Updated 3 years ago
- Code for the Human-related Object Detection based on Natural Language Parsing of Image Query Expressions article☆13Aug 8, 2017Updated 8 years ago
- Source for my personal website☆14Apr 19, 2022Updated 4 years ago
- Personal projects, notes, and trials☆12Mar 3, 2025Updated last year
- My CV☆13May 18, 2026Updated 2 months ago
- GP Tools for Amazon Web Services Elastic Map Reduce (Hosted Hadoop Framework)☆15Nov 8, 2013Updated 12 years ago
- Simple Pascal compiler being built for a university course☆16Jul 4, 2012Updated 14 years ago
- An addon to add some whimsperiments to your Firefox…☆64Dec 4, 2025Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆22Apr 1, 2013Updated 13 years ago
- UVA command line client to upload solutions and search for statistics☆10Dec 23, 2016Updated 9 years ago
- F# community activity aggregator, built with WebSharper.☆15Feb 14, 2016Updated 10 years ago
- Downloading and displaying academic ancestry☆16Oct 1, 2015Updated 10 years ago
- Documentation for the Ark language☆13Mar 3, 2016Updated 10 years ago
- Object Pascal client implementation for the redis protocol and commands as a☆22Feb 19, 2012Updated 14 years ago
- All source texts from book "PROJECT OBERON, The Design of an Operating system and Compiler" N. Wirth, J. Gutknecht ACM Press and Addison-…☆22Mar 28, 2013Updated 13 years ago
- My master's thesis, on the algebra of topological quantum computing☆20Feb 13, 2014Updated 12 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Very incomplete Scheme interpreter, written in Rust☆23Oct 3, 2016Updated 9 years ago
- An implementation of Zach Holman's boom script in Python☆16Oct 23, 2011Updated 14 years ago
- Interface for accessing XFS filesystem through UNIX.☆15Jul 24, 2017Updated 8 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- eXperimental String Machine☆18May 17, 2019Updated 7 years ago
- Oberon-0 Compiler: An educational compiler for a subset of the Oberon programming language☆26Aug 18, 2014Updated 11 years ago
- asciimath is a simple command-line tool for displaying math equations as ascii art.☆22Feb 1, 2017Updated 9 years ago
- A simple example parser written using Treetop☆21Oct 15, 2010Updated 15 years ago
- APL compiler written in Standard ML☆36Jan 20, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Streaming library for bulk memory operations with Standard ML in MLton☆28Mar 16, 2015Updated 11 years ago
- Haskell HTTP package☆24Dec 9, 2013Updated 12 years ago
- Python client for ScienceOps☆29Oct 22, 2019Updated 6 years ago
- Functioning: A Game Framework based on SDL for Standard ML☆20Jan 20, 2013Updated 13 years ago
- RESTful API built with Django / Pinax, adhering to the JSON:API specification☆36May 20, 2016Updated 10 years ago
- Open source tools for LC3 (assembler, compiler, simulator and experimental C source level debugger)☆22Mar 23, 2013Updated 13 years ago
- Repository for ggplot2 tutorial☆24Feb 12, 2015Updated 11 years ago