stephentetley

West Yorkshire, UK

Pinned Repositories

docsoup
Extraction combinators for Word (docx) files
Language:F#2 3 00
factio
Fact importing and exporting for the Flix programming language. Imports CSV, SQLite and flat text files, exports CSV.
Language:Java2 3 00
fixpoint-experiment
Experiment with Flix's fixpoint Datalog engine.
Language:Rust10
flix-basicdb
A basic monadic database interface for Flix using JDBC
3 3 00
flix-htmldoc
Combinator library to generate HTML in Flix.
Language:CSS3 3 21
flix-parsec
Parser combinator library for Flix targeting text input.
Language:Haskell1 4 01
graded-lib
Experimental Flix library for graded functors, applicatives and monads.
2 4 20
oboe-lang
Synthesizer design language...
Language:Haskell20
payasan
A Haskell framework for making music models and embedded DSLs
Language:Haskell5 3 01
zmidi-core
Small Haskell library to read and write MIDI files
Language:Haskell9 4 02

stephentetley's Repositories

stephentetley/flix-basicdb
A basic monadic database interface for Flix using JDBC
3 3 00
stephentetley/flix-htmldoc
Combinator library to generate HTML in Flix.
Language:CSS3 3 21
stephentetley/graded-lib
Experimental Flix library for graded functors, applicatives and monads.
2 4 20
stephentetley/fixpoint-experiment
Experiment with Flix's fixpoint Datalog engine.
Language:Rust10
stephentetley/flix-parsec
Parser combinator library for Flix targeting text input.
Language:Haskell1 4 01
stephentetley/koka-doodle
Small examples written in Koka
1 2 00
stephentetley/sql-experiments
Experiments with generating SQL in Flix
Language:Java1
stephentetley/vscode-flix
VS Code highlighting for the Flix programming language
Language:TypeScript1 1 0
stephentetley/basis-base
Higher level wrappers over interop-base.
3 0
stephentetley/book
The Flix Programming Book
Language:JavaScript2 0
stephentetley/charset-locale
Flix wrappers over Charset and Locale from the JDK using new the Adaptor code
2 02
stephentetley/csvio
Flix library to read and write Csv files built on top of Apache Commons Csv.
Language:Java3 0
stephentetley/datalog-in-flix
A toy Datalog evalutor
stephentetley/doc-build
F# combinator library to build documents
Language:F#4 0
stephentetley/duckdirect
Experiments calling the DuckDB C API via Java Panama
Language:Java
stephentetley/flix
The Flix Programming Language
Language:Scala2 0
stephentetley/flix-either
The `Either` data type for Flix
2 02
stephentetley/flix-kure
The start of a Flix port of Haskell's KURE library
1 0
stephentetley/flix-pretty
A pretty print library for Flix.
3 02
stephentetley/flix-rosetree
A rose tree data struture for Flix
3 01
stephentetley/flix-time
A project to wrap Java's time library so it can be used by Flix
3 0
stephentetley/interop-arrow
Wrappers to use Apache Arrow from Flix
stephentetley/interop-base
Low level Flix wrappers over classes and interfaces in the JDK
Language:Java3 11
stephentetley/interop-commons-io-bom
Flix wrapper for the ByteOrderMark class in Apache Commons IO
3 0
stephentetley/old-vscode-flix
Defunct
3 1
stephentetley/platform-basis
Flix wrappers over JDK classes - code extracted from interop-base and basis-base.
2 0
stephentetley/sheetio
A Flix library built on top of Apache POI to read and write Excel files
Language:Java3 0
stephentetley/sql-syntax
A Flix library of SQL datatypes and a pretty printer.
2 0
stephentetley/work-flix2
Flix code for my work
2 0
stephentetley/work-python
Python scripts and modules for my work.
Language:Python1