Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by thalesmg
A curated list of projects in awesome lists by thalesmg .
https://github.com/thalesmg/hallux
An implementation of Finger Trees for Elixir
Last synced: 28 Oct 2024
https://github.com/thalesmg/reflex-skeleton
A skeleton Reflex project with Hpack, Nix and Emacs/HIE/LSP integration
emacs ghcjs haskell haskell-ide-engine haskell-stack hpack lsp nix reflex-frp
Last synced: 28 Oct 2024
https://github.com/thalesmg/plfa-book
Programming Languague Foundations in Agda exercises - https://plfa.github.io/
Last synced: 28 Oct 2024
https://github.com/thalesmg/campinas
Experimental delimited continuations library for Elixir using shift / reset
algebraic-effects continuation-passing-style delimited-continuations elixir shift-reset
Last synced: 14 Oct 2024
https://github.com/thalesmg/test-synthesizer-sox-nix
Just testing synthesizer-core and nix
Last synced: 28 Oct 2024
https://github.com/thalesmg/test-haskell-netwire-sdl2
Testing Netwire + SDL2
Last synced: 28 Oct 2024
https://github.com/thalesmg/roguelike-rltk-tutorial
Following along http://bfnightly.bracketproductions.com/rustbook/
Last synced: 28 Oct 2024
https://github.com/thalesmg/ondemand
Erlang lib to spin workers up and down on demand during requests.
Last synced: 28 Oct 2024
https://github.com/thalesmg/idris-rust-ffi-test-1
Example of Rust FFI code called from Idris
Last synced: 28 Oct 2024
https://github.com/thalesmg/prolog-coquetel-presentation
Apresentação sobre Prolog usado para resolver Desafios de Lógica da Coquetel
Last synced: 28 Oct 2024
https://github.com/thalesmg/masmorra
Game dev exercise, will hopefully become a minimal MUD someday...
Last synced: 28 Oct 2024
https://github.com/thalesmg/haskell-accelerate-parconc
Example and benchmark of Accelerate-HS from Parallel and Concurrent Programming in Haskell
accelerate cuda gpu-computing haskell parallel-computing
Last synced: 28 Oct 2024
https://github.com/thalesmg/little-utils
A few random and very very small utils and stuff. =)
Last synced: 28 Oct 2024
https://github.com/thalesmg/haskell-to-ats-minimal-example
Minimal example of calling ATS from Haskell
Last synced: 28 Oct 2024
https://github.com/thalesmg/lhox
Lox in Haskell (from Crafting Interpreters, by Robert Nystrom)
Last synced: 28 Oct 2024
https://github.com/thalesmg/idris-rust-ffi-test-2
Example of Idris calling Rust FFI code with string pointers.
Last synced: 28 Oct 2024
https://github.com/thalesmg/futurelearnfph
Exercises for University of Glasgow's Functional Programming in Haskell
Last synced: 28 Oct 2024
https://github.com/thalesmg/emqx-elixir-plugin-template
Example Elixir plugin template repo
Last synced: 28 Oct 2024
https://github.com/thalesmg/giz
Create gists from the command line and track them with git.
Last synced: 28 Oct 2024
https://github.com/thalesmg/idris-type-drive-development-exercises
Exercises for Type Driven Development in Idris
Last synced: 28 Oct 2024
https://github.com/thalesmg/dist-sys-maelstrom
Fly.io's exercises in distributed systems using Maelstrom
Last synced: 28 Oct 2024
https://github.com/thalesmg/distributed-key-value-exercise
Distributed Key Value exercise from Parallel and Concurrent Programming in Haskell
Last synced: 28 Oct 2024
https://github.com/thalesmg/ats-elixir-ffi-example
An extremely minimal example of creating an Erlang/Elixir NIF/FFI in ATS
Last synced: 28 Oct 2024
https://github.com/thalesmg/rogue-haskell
Rogue-like game in Haskell using Brick (experimental!)
Last synced: 28 Oct 2024
https://github.com/thalesmg/tora-rs
A poor clone of tora-hs (https://github.com/dgvncsz0f/tora/) written in Rust
Last synced: 28 Oct 2024