nsyee

nsyee's Stars

• logseq/logseq

  A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

  Language:Clojure32.3k2147.6k1.9k

• erg-lang/erg

  A statically typed language compatible with Python

  Language:Rust2.7k1622955

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2k541.6k118

• jank-lang/jank

  A Clojure dialect hosted on LLVM with native C++ interop

  Language:C++1.6k445443

• coalton-lang/coalton

  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

  Language:Common Lisp1.1k2941370

• JuliaPy/PythonCall.jl

  Python and Julia in harmony.

  Language:Julia776742363

• phronmophobic/membrane

  A Simple UI Library That Runs Anywhere

  Language:Clojure563135619

• squint-cljs/cherry

  Experimental ClojureScript to ES6 module compiler

  Language:Clojure551177022

• julia-vscode/LanguageServer.jl

  An implementation of the Microsoft Language Server Protocol for the Julia language.

  Language:Julia3641749779

• GoogleFeud/ts-macros

  A typescript transformer / plugin that allows you to write macros for typescript!

  Language:TypeScript3444529

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean305173325

• helins/wasm.cljc

  Spec compliant WebAssembly compiler, decompiler, and generator

  Language:Clojure244822

• corgi-emacs/corgi

  Unbundled Emacs configuration aimed at Clojure developers

  Language:Emacs Lisp18162918

• surma/jsxx

  Language:Rust1722611

• logseq/publish

  Language:JavaScript1328918

• cnuernber/tmdjs

  High Performance Data Processing for ClojureScript

  Language:Clojure100741

• phronmophobic/mobiletest

  A proof of concept for building iOS applications in clojure via graalvm's native-image

  Language:C93704

• ts-plus/stdlib

  Language:TypeScript71259

• toyokumo/tarayo

  :love_letter: SMTP client library for Clojure. That’s it.

  Language:Clojure61774

• rackt-org/rackt

  An ultrasmall (~70 loc) React wrapper written in RacketScript

  Language:Racket57227

• clojurust/clojurust

  A proof of concept version of Clojure in Rust.

  Language:Rust51433

• emilk/pga

  Experimental type-safe geometric algebra for Rust

  Language:Rust4930

• zhangir-azerbayev/lean-chat

  Language:Lean48705

• tttamaki/julia_companion_jp

  VMLS Julia companion in Japanese

  Language:Jupyter Notebook44509

• ts-plus/typescript

  Language:TypeScript371645

• modern-energy/pulumi-cljs

  Small wrapper library making it easier to use Pulumi via ClojureScript

  Language:Clojure34202

• locusmath/locus

  A specialised computer algebra system for topos theory.

  Language:Clojure17101

• dawranliou/mini-reframe

  A re-frame inspired mini framework/library for event-driven reagent front-end.

  Language:Clojure5200

• RokLenarcic/memento-redis

  Memento cache backed by Redis

  Language:Clojure4300

• SPY/Idris2

  A dependently typed programming language, a successor to Idris

  Language:Idris110