coddeys's Stars
wasp-lang/wasp
The fastest way to develop full-stack web apps with React & Node.js.
kmonad/kmonad
An advanced keyboard manager
Misterio77/nix-starter-configs
Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
ClosureTree/closure_tree
Easily and efficiently make your ActiveRecord models support hierarchies
input-output-hk/plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
PeculiarVentures/PKI.js
PKI.js is a pure JavaScript library implementing the formats that are used in PKI applications (signing, encryption, certificate requests, OCSP and TSP requests/responses). It is built on WebCrypto (Web Cryptography API) and requires no plug-ins.
slackapi/slack-github-action
Send data into Slack using this GitHub Action!
jhawthorn/vernier
📏 next generation CRuby profiler
vedang/pdf-tools
Emacs support library for PDF files.
aiken-lang/aiken
A modern smart contract platform for Cardano
txpipe/oura
The tail of Cardano
Plutonomicon/plutonomicon
Advanced techniques in the plutus smart contract language
hmsk/vite-plugin-elm
A plugin for Vite enables you to compile an Elm application/document/element
mikesol/purescript-deku
A PureScript web UI framework
bobvanderlinden/nixpkgs-ruby
A Nix repository with all Ruby versions being kept up-to-date automatically
archive/github-actions-slack
Github Action for sending message (and reactions/threads/update/blocks) to Slack - With support for Slack's optional arguments
bobvanderlinden/nixos-config
My personal NixOS and home-manager configuration
tweag/cooked-validators
JonathanReeve/dotfiles
My personal dotfiles, using Nix Flakes to configure my system(s).
ChuseCubr/mini-ryoku
A compact 34-key adaptation of the Miryoku layout.
LovelaceAcademy/PlutusExperience
Plutus Experience Modules
gillchristian/remote-data-ts
Type to model asynchronous operations
tzuyi0817/PDF-signature
Online instant PDF signature website.
paulklemm/latexmk-synctex-example
Use Latexmk With Synctex and Constant Preview
mpizenberg/elm-cardano
Elm offchain package for Cardano
seuros/activerecord-ulid
AzeezEbrahim/Simple_Camscanner
This is a simple Camscanner projecct using openCV
rdlrt/rdlrt-pool
RDLRT Stakepool for Cardano
scarmuega/aiken-cli-hello-world
Aiken "Hello World" tutorial (CLI version)
A7R7/nixos-config
My nixos configurations