Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by pthariensflame
A curated list of projects in awesome lists by pthariensflame .
https://github.com/pthariensflame/refraction
A general-purpose lens library for Rust.
Last synced: 02 Nov 2024
https://github.com/pthariensflame/scala-pipes
Bidirectional theoretically-sound iteratee-like pipelines in Scala with Scalaz
Last synced: 24 Oct 2024
https://github.com/pthariensflame/primesieve.rs
Rust bindings to [primesieve](http://primesieve.org)
Last synced: 09 Nov 2024
https://github.com/pthariensflame/salmagundi
A tool to rewrite data type definitions to rearrange in-memory layout.
fuzzing rust-language testing-tools
Last synced: 12 Oct 2024
https://github.com/pthariensflame/identity.rs
A stable Rust implementation of an identity (a.k.a., “equality witness”) type
Last synced: 09 Nov 2024
https://github.com/pthariensflame/dfraw-mode
An Emacs major mode for editing Dwarf Fortress “raw” files
Last synced: 24 Oct 2024
https://github.com/pthariensflame/invariant.rs
A Rust library for creating wrapper types that enforce invariants
Last synced: 24 Oct 2024
https://github.com/pthariensflame/cayleymengerdeterminant.jl
Calculate the measures of simplices through the Cayley-Menger determinant.
Last synced: 24 Oct 2024
https://github.com/pthariensflame/discrimination.rs
Generic worst-case-linear-time sorting and partitioning algorithms based on discriminators
crates discriminator partitioning-algorithms rust-language sorting
Last synced: 12 Oct 2024
https://github.com/pthariensflame/pure-st
A (probably inefficient) implementation of the ST monad in pure Haskell
Last synced: 24 Oct 2024
https://github.com/pthariensflame/pygments-maude
Pygments lexers for Maude, both batch and interactive.
maude pygments-lexer syntax-highlighting
Last synced: 24 Oct 2024
https://github.com/pthariensflame/concurrent-equality-saturation
Equality Saturation for Concurrent Systems (code and report)
Last synced: 24 Oct 2024
https://github.com/pthariensflame/polybase
Hyper-polymorphic classes for Haskell
Last synced: 24 Oct 2024
https://github.com/pthariensflame/lycete
A functional-objective-lenticular programming language
Last synced: 24 Oct 2024
https://github.com/pthariensflame/konane
A library and executable for the ancient Polynesian game kōnane
Last synced: 24 Oct 2024
https://github.com/pthariensflame/satnqclause
Truffle implementation of a recursive open-world solver for nested quantifier clauses
logic-programming truffle-framework
Last synced: 24 Oct 2024
https://github.com/pthariensflame/shard-sort
A general-purpose non-recursive incremental out-of-place comparison-sorting algorithm that exploits runs of sorted data
Last synced: 24 Oct 2024
https://github.com/pthariensflame/injection-monad
A monad transformer for typed, manipulable injection.
Last synced: 24 Oct 2024
https://github.com/pthariensflame/elementscript
An infix-homoiconic language.
Last synced: 24 Oct 2024
https://github.com/pthariensflame/lib-agda
My customized version of the Agda standard library
Last synced: 24 Oct 2024
https://github.com/pthariensflame/anabel
An implementation of type theory, focused on computation and extensibility
Last synced: 24 Oct 2024
https://github.com/pthariensflame/sylvia
A language for teaching, learning, and research about calling conventions
Last synced: 24 Oct 2024
https://github.com/pthariensflame/difference_engine
DEng—an extensible language-aware diff
Last synced: 24 Oct 2024
https://github.com/pthariensflame/truffle-dhall
A Truffle/GraalVM implementation of the Dhall programmable configuration language [WIP]
configuration dhall graalvm language truffle-framework
Last synced: 24 Oct 2024
https://github.com/pthariensflame/libxdfr
Parser and utility code for the general-purpose “XDFR” format.
Last synced: 24 Oct 2024
https://github.com/pthariensflame/angfloat
Reference software implementation of a complex-number generalization of IEEE-754 binary floating point
complex-numbers floating-point rust
Last synced: 24 Oct 2024
https://github.com/pthariensflame/agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
agda agda-lang agda-library algebraic-structures formal-proofs math mathematics ring-theory
Last synced: 24 Oct 2024
https://github.com/pthariensflame/homebrew-assorted
Assorted formulae and casks for Homebrew
cask casks formula formulae homebrew homebrew-cask homebrew-formula homebrew-formulae homebrew-tap tap
Last synced: 24 Oct 2024
https://github.com/pthariensflame/pthariensflame.github.io
Laine’s personal site and blog
Last synced: 24 Oct 2024
https://github.com/pthariensflame/gensquaredimnums.jl
1-square, -1-square, and 0-square symbol extensions to the real numbers
Last synced: 24 Oct 2024
https://github.com/pthariensflame/swift-duality
Create dual versions of Swift protocols
Last synced: 24 Oct 2024
https://github.com/pthariensflame/elementscript-micro
A minimal Elementscript variant with which to experiment with infix homoiconicity.
Last synced: 24 Oct 2024
https://github.com/pthariensflame/yeppp.rs
Rust wrapper for [Yeppp!](http://www.yeppp.info)
Last synced: 24 Oct 2024