A compiler for PCF (Programming Language for Computable Functions) Ported from F# to Scala
☆19Mar 7, 2016Updated 9 years ago
Alternatives and similar repositories for PCF-Compiler
Users that are interested in PCF-Compiler are comparing it to the libraries listed below
Sorting:
- Async Scala SDK for the Facebook Graph API, built on spray-client and spray-json.☆27Sep 10, 2013Updated 12 years ago
- Giter8 template for a minimal project that uses Scala Native.☆79Updated this week
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- A type-safe abstraction for platform-independent file system paths.☆25Apr 23, 2021Updated 4 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- ☆12Updated this week
- Visual tool for SPARQL queries on graphol graphs☆10Oct 3, 2018Updated 7 years ago
- CODO is an ontology for the semantic representation and annotation of COVID-19 data in a machine-readable form for tracking history of th…☆10Apr 19, 2022Updated 3 years ago
- Maintenance Information Extraction (MaintIE)☆16Jun 29, 2024Updated last year
- A Reactive Sparql Client written in Scala and Akka☆13Sep 18, 2023Updated 2 years ago
- Quickly run SchemaSpy on a database and serve the results☆10Mar 24, 2021Updated 4 years ago
- ☆11Feb 24, 2022Updated 4 years ago
- RDF Community Discussions. Ask anything here!☆13Apr 11, 2024Updated last year
- Scorex 2.0 Tutorial☆39Oct 25, 2017Updated 8 years ago
- a simple lakeFS webhook for pre-commit and pre-merge validation of data objects☆12Nov 9, 2023Updated 2 years ago
- ☆10Jun 8, 2016Updated 9 years ago
- A basic DNN tutorial in PyTorch, for persons without a background in Linux, Python, or remote servers☆10Apr 2, 2020Updated 5 years ago
- Serverless Crud Service in Scala - http://serverless.com☆38Oct 30, 2016Updated 9 years ago
- ☆12Mar 1, 2017Updated 9 years ago
- A repository to work on the transmodel ontology that provides support to the NeTEx model☆11Feb 17, 2021Updated 5 years ago
- ☆15Jan 1, 2026Updated 2 months ago
- MOVIO - Online Virtual Exhibitions☆15Nov 23, 2020Updated 5 years ago
- Implementation of W3C's R2RML and Direct Mapping specifications☆10Oct 12, 2020Updated 5 years ago
- Kata for practicing SOLID principles☆10Jan 6, 2015Updated 11 years ago
- Share easily file / folder over local network☆11Jan 26, 2026Updated last month
- Coder in your OpenShift/Kubernetes Cluster or in Docker☆10Oct 22, 2021Updated 4 years ago
- ClusterSSH meets Emacs☆27Aug 10, 2015Updated 10 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- Fake data generator☆11Jul 29, 2020Updated 5 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 5 months ago
- ☆12Jan 7, 2021Updated 5 years ago
- A Clojure library for use case driven development☆11Dec 25, 2017Updated 8 years ago
- A dataset of Hip Hop samples for Music Information Retrieval research☆12Jun 1, 2016Updated 9 years ago
- Tools and specifications for Semantic Data Dictionaries☆12Nov 12, 2025Updated 3 months ago
- Make Metabase More Awesome☆16Jul 24, 2024Updated last year
- Monokai theme for Guake☆14Feb 7, 2015Updated 11 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- OnAGUI - Ontology Alignment GUI - Software to help automatic or manual realisation of ontologic alignment☆12Oct 6, 2023Updated 2 years ago
- Simple FieldCache based query introspection Solr Search Component - solves the 'red sofa' problem☆11Jan 27, 2025Updated last year