Tehnix

codetalkCopenhagen, Denmark

Pinned Repositories

codethoughts.io
Zola website for the codethoughts.io blog
Language:JavaScript5 2 162
expose-tunnel
Create tunnels to access your GitHub Action workflows from public endpoints
Language:JavaScript5 2 00
facade
Rust-based HTTP transformation layer to seamlessly convert REST calls into GraphQL calls for piecemeal API migrations
Language:Rust0 3 10
Haskell-Electron-app
Combining Electron and Haskell
Language:JavaScript30 3 27
HsCMS
[UNMAINTAINED] A Yesod/Haskell based CMS
Language:CSS21 5 311
ide-haskell-hie
Atom LSP plugin for HIE (Haskell IDE Engine)
Language:JavaScript26 3 356
miso-isomorphic-stack
An example of an "isomorphic" Miso server set up with stack
Language:Haskell44 7 72
MobileHaskellFun
Project set up for playing around with mobile haskell
Language:Shell15 4 34
spaceneovim
Spacemacs for Neovim—link to layers 👉
Language:Vim Script112 12 94
spaceneovim-layers
Layers for usage in SpaceNeovim 👉
Language:Vim Script43 7 207

Tehnix's Repositories

Tehnix/miso-isomorphic-stack
An example of an "isomorphic" Miso server set up with stack
Language:Haskell44 7 72
Tehnix/spaceneovim-layers
Layers for usage in SpaceNeovim 👉
Language:Vim Script43 7 207
Tehnix/template-mobile-wasm
Template project for building a Rust application that can be run on Web, iOS and Android using Leptos, Capacitor and UniFFI.
Language:Swift11 2 03
Tehnix/master-thesis
[University] Master thesis "Exploring the use of purely functional programming languages for offloading of mobile computations"
Language:TeX3 4 0
Tehnix/playground-spa-elm
Playing around with Elm SPAs and structuring them for larger scale applications
Language:Elm3 3 5
Tehnix/comparison-ssg-rust-js
Comparison of SSG using various JS and Rust frameworks
Language:Rust2 1 0
Tehnix/cred-server
[University] Connected Reactive Electronic Devices
Language:Python2 3 1
Tehnix/playground-spa-rust
Playing around with Rust SPAs using Yew, and structuring them for larger scale applications
Language:Rust2 3 0
Tehnix/Tehnix
A personal "Hello World"!
2 3 1
Tehnix/vscode-tidymarkdown
VS Code formatter using tidymarkdown
Language:TypeScript2 2 51
Tehnix/playground-graphql
Playground to play around with and show GraphQL usage
Language:TypeScript1 1 0
Tehnix/playground-haskell
Fun with various Haskell libraries and techniques
Language:Haskell1 4 0
Tehnix/playground-ServHs
Fun with serverless-haskell!
Language:Haskell1 3 1
Tehnix/playground-spa-miso
Playing around with Miso SPAs and structuring them for larger scale applications
Language:Haskell1 2 0
Tehnix/TheCMS
[UNMAINTAINED] A PHP based CMS
Language:PHP1 3 16
Tehnix/aws-cdk
The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
Language:TypeScript2 0
Tehnix/gh-metrics
A command line tool that calculates pull-request and issue metrics given a GitHub repository
Language:JavaScript1 0
Tehnix/graphql-wg
Working group notes for GraphQL
1 0
Tehnix/leptos
Build fast web applications with Rust.
Language:Rust0 0
Tehnix/nerd-fonts
Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more
Language:CSS2 0
Tehnix/playground-dynamodb
About Playground to play around with and show DynamoDB usage
Language:TypeScript1 0
Tehnix/playground-federation
Playground to test out Federated GraphQL
Language:TypeScript2 0
Tehnix/playground-html-game
Little Pong game using the HTML canvas
Language:HTML3 1
Tehnix/playground-ocaml
Playground for ocaml projects
Language:OCaml2 0
Tehnix/playground-ps-graphql
Toying with GraphQL in PureScript
Language:PureScript2 0
Tehnix/routerify
A lightweight, idiomatic, composable and modular router implementation with middleware support for the Rust HTTP library hyper.rs
Language:Rust2 0
Tehnix/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
Language:Rust1 0
Tehnix/SmartWasher
[University] Smart scheduling for washing machines
Language:Python3 0
Tehnix/the-algorithm
Source code for Twitter's Recommendation Algorithm
Language:Scala1 0
Tehnix/uuid
Generate and parse UUIDs.
Language:Rust2 0