Repository for subset c compiler written in Lex and Yacc as part of Language Processors course at NITW
โ34Sep 8, 2019Updated 6 years ago
Alternatives and similar repositories for subc-compiler
Users that are interested in subc-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ๐Neural Text Simplification to Improve Chatbot Performanceโ12Jul 20, 2018Updated 7 years ago
- Knowledge-based Semantic Role Labelingโ16Jan 31, 2025Updated last year
- An Information Extraction Framework with Deep Learning developed at New York Universityโ15Oct 27, 2016Updated 9 years ago
- tiny BASIC parser, interpreter & compilerโ17Jan 5, 2013Updated 13 years ago
- A simple Parser and a Lexical Analyzer using Lex (Flex) and Yacc (Bison)โ10May 27, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient โข AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ๐ Chenโs Private Cuisine Menuโ10Jan 4, 2026Updated 5 months ago
- This repository is for a research project at Cairo University, computer engineering department.โ14Jan 14, 2022Updated 4 years ago
- FortranCL: a Fortran 90 interface for OpenCLโ11Jun 27, 2024Updated last year
- Play code with online playgroundsโ13Mar 22, 2020Updated 6 years ago
- A PLT Redex implementation of Featherweight Javaโ17Oct 8, 2012Updated 13 years ago
- A TODO list feature for DrRacket, like to Agda's goal list but for any language.โ34Jul 1, 2023Updated 2 years ago
- Stronger types for a few Typed Racket operatorsโ11Jan 25, 2024Updated 2 years ago
- A Redex tutorial with a focus on how to do work in Redexโ11Oct 21, 2024Updated last year
- A Keras-compatible generator for creating balanced batchesโ17Mar 23, 2024Updated 2 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.
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012โ23Oct 14, 2023Updated 2 years ago
- VTK for rust, proof of concept.โ12May 14, 2016Updated 10 years ago
- Simple implementation of ST LC type checker in Haskellโ13Apr 18, 2022Updated 4 years ago
- Mechanized baselines for various type system featuresโ18Apr 14, 2026Updated 2 months ago
- Event Time Extraction with a Decision Tree of Neural Classifiersโ18Feb 28, 2019Updated 7 years ago
- lightweight scripting language loosely based off of Luaโ18Dec 30, 2023Updated 2 years ago
- A small, embeddable BASIC interpreter in C.โ24Jan 16, 2018Updated 8 years ago
- Specifications for the tabfs filesystem (osdev) | Mirror of https://codearq.net/chalk-os/tabfs-specsโ16Jun 10, 2024Updated 2 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.โ11Apr 3, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform โข AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- โ16Jun 26, 2019Updated 6 years ago
- Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> ฮป). A configurable replacement for pretty-mode and the lโฆโ42Sep 30, 2014Updated 11 years ago
- โ17Apr 4, 2024Updated 2 years ago
- ๐ฎ Mega Man X3 clone version.โ11Jun 6, 2020Updated 6 years ago
- A formalization of System Fฯ in Agdaโ20Dec 23, 2025Updated 5 months ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernelโ14Nov 20, 2020Updated 5 years ago
- Linguistically-Informed Self-Attention for Semantic Role Labeling (old version)โ27Dec 3, 2021Updated 4 years ago
- Make any Neovim Colorscheme to support for Italics and Transparency.โ12Jan 16, 2026Updated 4 months ago
- Proof-of-concept, mostly safe multimethods in Racketโ12Sep 9, 2020Updated 5 years 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.
- A Coq plugin to disable positivity check, guard check and termination checkโ16Nov 2, 2019Updated 6 years ago
- Very basic OpenCASCADE examples that compile with g++ and dont need qt installed.โ12Sep 8, 2017Updated 8 years ago
- Today I Learned...โ17Dec 1, 2021Updated 4 years ago
- Theorem Proving in Emacsโ12Aug 18, 2025Updated 9 months ago
- โ12May 26, 2026Updated 2 weeks ago
- D2Q9 BGK Lattice Boltzmann code written in OpenCL and Modern Fortran.โ19Feb 17, 2021Updated 5 years ago
- An Express middleware module that will redirect user HTTP requests that contain uppercase letters, to the same URL in lowercase form.โ14Feb 14, 2017Updated 9 years ago