Pinned Repositories
certbot_dns_duckdns
Plugin for certbot for a DNS-01 challenge with a DuckDNS domain.
chinese-xinhua
:orange_book: 中华新华字典数据库。包括歇后语，成语，词语，汉字。
ckeditor5
Powerful rich text editor framework with a modular architecture, modern integrations, and features like collaborative editing.
HanTTS
Chinese Text-to-Speech web service
mermaid-hs
purescript-bridge
Create PureScript datatypes from Haskell datatypes
purescript-cnchar
purescript-html-codegen-halogen
reflex-realworld-example
ongyiren1994's Repositories
ongyiren1994/purescript-html-codegen-halogen
ongyiren1994/mermaid-hs
ongyiren1994/purescript-cnchar
ongyiren1994/reflex-realworld-example
ongyiren1994/ckeditor5
Powerful rich text editor framework with a modular architecture, modern integrations, and features like collaborative editing.
ongyiren1994/purescript-bridge
Create PureScript datatypes from Haskell datatypes
ongyiren1994/complete-guide-to-full-stack-solana-development
Code examples for the blog post titled The Complete Guide to Full Stack Solana Development with React, Anchor, Rust, and Phantom
ongyiren1994/docker
Run the Pelias geocoder in docker containers, including example projects.
ongyiren1994/docker-osm
A docker compose project to setup an OSM PostGIS database with automatic updates from OSM periodically
ongyiren1994/easy-purescript-nix
Easy PureScript (and other tools) with Nix
ongyiren1994/emanote
Spiritual successor to neuron, based on Ema.
ongyiren1994/haskell-nix
Nix and Haskell in production
ongyiren1994/haskell-template
Haskell project template using Nix + Flakes + VSCode (HLS)
ongyiren1994/HoTT
Homotopy type theory
ongyiren1994/ongyiren1994
Config files for my GitHub profile.
ongyiren1994/openmaptiles
OpenMapTiles Vector Tile Schema Implementation
ongyiren1994/openrouteservice
🌍 The open source route planner api with plenty of features.
ongyiren1994/Overpass-API
Overpass API docker image
ongyiren1994/photon
an open source geocoder for openstreetmap data
ongyiren1994/purescript-emmet
Quick scaffolding for Halogen's HTML DSL
ongyiren1994/purescript-halogen-realworld
Exemplary real world application built with PureScript + Halogen
ongyiren1994/purescript-html-parser-halogen
A library to render HTML string into Halogen views
ongyiren1994/purescript-react-basic-native
ongyiren1994/purescript-typescript-importer
ongyiren1994/purescript-typescript-utils
ongyiren1994/quorum-dev-quickstart
The Quorum Developer Quickstart utility can be used to rapidly generate local Quorum blockchain networks for development and demo purposes using Besu, GoQuorum, and Codefi Orchestrate.
ongyiren1994/rbac-tool
Rapid7 | insightCloudSec | Kubernetes RBAC Power Toys - Visualize, Analyze, Generate & Query
ongyiren1994/reflex-dom-storage
ongyiren1994/registry
ongyiren1994/Social-BERTerfly
Finding your MBTI personality type based on your Twitter activity using BERT