C Intermediate Language Implemented with MoonBit
☆19Jan 12, 2026Updated 6 months ago
Alternatives and similar repositories for MCIL
Users that are interested in MCIL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Mar 20, 2025Updated last year
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- Selected Papers of Dana S. Scott☆179Jun 20, 2024Updated 2 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 6 months ago
- Minimalist compiler course, based on Essential of Compilation☆11Jun 22, 2026Updated last month
- 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.
- Public repo for level editor tools in Unity☆13Feb 26, 2024Updated 2 years ago
- Combinators for manipulating dependently-typed predicates.☆13Jul 5, 2024Updated 2 years ago
- ☆11Feb 20, 2023Updated 3 years ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- Tween system for unity mostly for setup in inspector instead of code.☆14Jul 4, 2024Updated 2 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- This project features a dynamic combat and traversal system inspired by Sekiro, incorporating fluid movement, precise timing, and strateg…☆14Oct 22, 2024Updated last year
- Expanding the StateMachineUnity repo to work with a networking option.☆14Feb 16, 2023Updated 3 years ago
- Session types framework with support of protocol pipelining.☆16Updated this week
- 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.
- an experimental approach to make floating windows in unity based on Unity UI☆14Oct 8, 2021Updated 4 years ago
- This is a Unity project where I developed a serious game. The objective is to enhance typing skills while learning to avoid errors on how…☆10Apr 23, 2021Updated 5 years ago
- Library for styling game objects in Unity. . Built over UniMob and View-Binding.☆11Jun 30, 2023Updated 3 years ago
- ☆13Feb 3, 2025Updated last year
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 5 months ago
- Non-Photorealistic Render Pipeline in Unity Engine☆13Jul 5, 2024Updated 2 years ago
- Extremely fast non-cryptographic hash algorithm☆10Oct 9, 2024Updated last year
- TRAIL: Simulating the Impact of Human Locomotion on Natural Landscapes - 2024 - Computer Graphics International (CGI)☆13Apr 7, 2025Updated last year
- Tween editor for Unity UI animations☆13Oct 26, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A C++ implementation of Recycler☆11Jul 11, 2026Updated 3 weeks ago
- Manage your assembly process with Assembus! This application was developed with Unity and allows you to interactively manage your assembl…☆13Oct 21, 2023Updated 2 years ago
- A Unity package for basic AStar pathfinding☆12Nov 14, 2024Updated last year
- Skeletal animation player using the WhiteBoxEngine☆15Apr 26, 2024Updated 2 years ago
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated last year
- ☆29Updated this week
- ☆13Jul 22, 2025Updated last year
- A Color Picker control for Unity☆12Nov 17, 2022Updated 3 years ago
- Customize the player loop from the settings window. One of the "j1Tech" series developed by jwellone Inc for Unity.☆12Sep 9, 2021Updated 4 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.
- ☆11Jun 15, 2022Updated 4 years ago
- Utility for finding asset references by GUID. Fast and thorough.☆14May 21, 2026Updated 2 months ago
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- ☆17Apr 3, 2021Updated 5 years ago
- TDD friendly test helpers for Microsoft.CodeAnalysis.Diagnostics.DiagnosticAnalyzer☆11Apr 21, 2025Updated last year
- Test project for Unity ECS Character Controller☆11Sep 8, 2023Updated 2 years ago
- Touch gestures made easy for Unity3D Game Engine.☆12Aug 14, 2023Updated 2 years ago