A compiler for PCF (Programming Language for Computable Functions) Ported from F# to Scala
☆19Mar 7, 2016Updated 10 years ago
Alternatives and similar repositories for PCF-Compiler
Users that are interested in PCF-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:
- Async Scala SDK for the Facebook Graph API, built on spray-client and spray-json.☆27Sep 10, 2013Updated 12 years ago
- A type-safe abstraction for platform-independent file system paths.☆26Apr 23, 2021Updated 5 years ago
- ☆10Aug 20, 2018Updated 7 years ago
- A fast, free and fun HTML5 Game Framework for Desktop and Mobile web browsers.☆17Jun 17, 2019Updated 6 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 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.
- Code snippets and exercises for the Haskell book☆10May 20, 2018Updated 8 years ago
- ☆17Jul 21, 2017Updated 8 years ago
- PowerAuth Web Authentication - Federated Authentication and Authorization Server for Web☆13Updated this week
- A WIP Intel 8086 and IBM PC 5150 emulator.☆16Jul 13, 2022Updated 3 years ago
- Project scaffolding for JME3☆13Oct 9, 2019Updated 6 years ago
- Major emacs mode for editing Common Intermediate Language files.☆14Jun 22, 2016Updated 9 years ago
- Example repository for http://haskellbook.com☆17Dec 16, 2019Updated 6 years ago
- Giter8 template for a minimal project that uses Scala Native.☆80May 18, 2026Updated 3 weeks ago
- ☆21Mar 5, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- PCjs System Diskette Repository☆25Jan 28, 2025Updated last year
- A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !☆49Oct 12, 2015Updated 10 years ago
- Compiler and interpreter for a miranda-like functional language in Python.☆12Dec 28, 2011Updated 14 years ago
- Scala Numerical Optimization library☆10Nov 8, 2017Updated 8 years ago
- scala library for constructive solid geometry☆20Jan 18, 2026Updated 4 months ago
- A rewrite of Kite to use LLVM☆16Feb 19, 2021Updated 5 years ago
- Nanocomp Motorola MC6809 Microcomputer based on July 1981 Wireless World project☆21Feb 3, 2024Updated 2 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- ☆16Aug 15, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Feb 7, 2015Updated 11 years ago
- immutable primitive array/NonEmptyArray wrapper for Scala☆33Updated this week
- JGit project repository (jgit)☆16Aug 21, 2023Updated 2 years ago
- ☆15Feb 16, 2024Updated 2 years ago
- Scala LWJGL OpenGL Toolkit from Hell☆21Nov 13, 2014Updated 11 years ago
- Scala Engine for OpenGL-based Desktop, Android, and iOS game and business development.☆26May 9, 2025Updated last year
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago
- Modelica Vector graphics Editor☆16Nov 11, 2020Updated 5 years ago
- A Verilog RTL model of a simple 8-bit RISC processor☆21Jan 15, 2019Updated 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.
- scalafx ensemble☆130Apr 26, 2025Updated last year
- Invertible syntax for Scala.☆13Oct 17, 2016Updated 9 years ago
- A lazy and untyped experimental programming language☆10Jul 8, 2018Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 9 years ago
- Using Arrows to model parallel processes/computations.☆18Aug 1, 2020Updated 5 years ago
- Tiny publish subscribe library☆15Mar 27, 2017Updated 9 years ago
- A mailbox based distributed computing library☆84May 9, 2014Updated 12 years ago