Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
☆18Oct 24, 2023Updated 2 years ago
Alternatives and similar repositories for Fsharp-Teaching
Users that are interested in Fsharp-Teaching 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 list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆13Aug 16, 2023Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated last year
- A library for identifying types of stack, global, and heap allocations in LLVM IR using only LLVM's debug information and metadata.☆15Jun 9, 2026Updated 3 months ago
- A differentiable, self-modifying esolang where gradient descent is an instruction and programs rewrite their own parameters, designed by …☆38Aug 25, 2026Updated 3 weeks 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.
- Run Django tests with testcontainers.☆11Sep 14, 2026Updated last week
- A tiny register based virtual machine.☆14Dec 9, 2014Updated 11 years ago
- Create and apply patches to binary files in the BPS format☆18Sep 26, 2019Updated 6 years ago
- Scripts to create, manage and backup Wordpress on Podman.☆10Nov 28, 2023Updated 2 years ago
- Compiler for a small Scala subset☆39Apr 4, 2025Updated last year
- A generic NREPL client for Emacs, based on monroe☆17Sep 11, 2025Updated last year
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆43Aug 25, 2026Updated 3 weeks ago
- ☆10Sep 27, 2021Updated 4 years ago
- Widescreen and wider solution for Omikron: The Nomad Soul☆19Jan 9, 2022Updated 4 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.
- Contract-first REST APIs in Django☆13Jan 11, 2025Updated last year
- Cross-Platform Dat-Packer for SimCity 4 Plugins☆12May 12, 2024Updated 2 years ago
- Flatpak manifest for distrobox☆16Oct 19, 2022Updated 3 years ago
- An LLM-first programming language.☆37Oct 6, 2025Updated 11 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- Generate C++ method implementations from declarations☆19Aug 5, 2025Updated last year
- A .NET Core library for working with Portable Game Notation (PGN)☆11Jun 1, 2019Updated 7 years ago
- Civ3 Show-And-Tell☆20Feb 25, 2023Updated 3 years ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years 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.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- File Versioning System with hash comparison, deduplication and data storage to create unlinked states that can be deleted☆19Jun 27, 2026Updated 2 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- Scientific Programming for Wind Energy (46120)☆47May 7, 2026Updated 4 months ago
- Java JNI binding for mujoco physics system☆18Mar 18, 2025Updated last year
- A compiler from a subset of Rust to Brainfuck☆16Oct 2, 2024Updated last year
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- A simpler Enum for Python 3.☆23Jun 3, 2013Updated 13 years ago
- Calculate possible fingerings for a given chord and string tuning.☆21Jun 3, 2024Updated 2 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.
- Скрипт для Википедии, позволяющий выполнять ёфикацию статей в полуавтоматическом режиме☆16Updated this week
- Utility for dumping all the information Capstone has on given instructions.☆21Oct 1, 2021Updated 4 years ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆11Jul 13, 2025Updated last year
- A programming language with first-class modules and algebraic effects.☆14Dec 3, 2022Updated 3 years ago
- Unofficial content fixes and improvements for Halo CE MCC☆14Aug 28, 2025Updated last year
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆13Jul 9, 2025Updated last year
- ☆12Dec 16, 2024Updated last year