Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Julian
A curated list of projects in awesome lists by Julian .
https://github.com/Julian/lean.nvim
Neovim support for the Lean theorem prover
lean lean4 leanprover neovim neovim-plugin nvim nvim-treesitter tree-sitter
Last synced: 26 Oct 2024
https://github.com/julian/lean.nvim
Neovim support for the Lean theorem prover
lean lean4 leanprover neovim neovim-plugin nvim nvim-treesitter tree-sitter
Last synced: 09 Oct 2024
https://github.com/julian/vim-textobj-variable-segment
A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes
neovim neovim-plugin text-object vim vim-plugin vim-textobj-user vim-textobject
Last synced: 30 Oct 2024
https://github.com/julian/tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
context-free-grammar lean lean4 syntax-highlighting tree-sitter
Last synced: 01 Nov 2024
https://github.com/Julian/tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
context-free-grammar lean lean4 syntax-highlighting tree-sitter
Last synced: 04 Aug 2024
https://github.com/julian/seep
A transformation and data extraction language on top of JSON Schema
Last synced: 08 Nov 2024
https://github.com/julian/regret
You made a thing, but now you wish it'd go away... Deprecations, a love story.
Last synced: 30 Oct 2024
https://github.com/julian/pyvi
A library for integrating Vim-like buffers, windows, and keybindings into your Python application.
Last synced: 18 Oct 2024
https://github.com/julian/lftim
Mathematical learnings with Lean, for those of us who wish we knew more of both!
Last synced: 18 Oct 2024
https://github.com/julian/cardboard
Cardboard is a Magic: The Gathering game engine written in Python.
Last synced: 18 Oct 2024
https://github.com/julian/homebrew-tap
Homebrew Formulae I'm Tired of Maintainin'
Last synced: 08 Nov 2024
https://github.com/julian/minion
A microframework based on evil intentions and whatever else you've got
Last synced: 08 Nov 2024
https://github.com/julian/python-musicalsort
A *very* basic musical sort decorator / demo module
Last synced: 08 Nov 2024
https://github.com/julian/lean-across-the-board
An attempt to learn Lean via implementing a theorem (hopefully more) from Across the Board. Progress will be... slow.
Last synced: 18 Oct 2024
https://github.com/julian/hypothesis-protobuf
Hypothesis support for generating Protobuf Messages and instances thereof
Last synced: 08 Nov 2024
https://github.com/Julian/lean-across-the-board
An attempt to learn Lean via implementing a theorem (hopefully more) from Across the Board. Progress will be... slow.
Last synced: 09 Aug 2024
https://github.com/julian/virtue
A modern, extensible, unittest-compliant test runner.
Last synced: 01 Nov 2024
https://github.com/julian/setup-lean
Set up your GitHub Actions workflow with elan and/or a specific version of Lean
Last synced: 08 Nov 2024
https://github.com/julian/txjsonrpc-tcp
A TCP implementation of JSON RPC for Twisted
Last synced: 08 Nov 2024
https://github.com/julian/condent
A quick hack I threw together to reindent and respace containers the way I like them (e.g. for equalprg in Vim)
Last synced: 08 Nov 2024
https://github.com/julian/named-branch-action
hg-style named branches via a GitHub action
bot git github-actions hg mercurial
Last synced: 18 Oct 2024
https://github.com/julian/vim-textobj-assignment
A text object for variable assignments
Last synced: 08 Nov 2024
https://github.com/julian/svmlight-loader
A Cython-less implementation of the svmlight / libsvm sparse data format
Last synced: 18 Oct 2024
https://github.com/julian/runt.nvim
Find corresponding test files given your source file
neovim neovim-plugin nvim nvim-plugin testing
Last synced: 11 Oct 2024
https://github.com/julian/diff
Diff some stuff, find out why it ain't the same.
Last synced: 08 Nov 2024
https://github.com/julian/github-reserved-names
A Python port of https://github.com/Mottie/github-reserved-names
Last synced: 18 Oct 2024
https://github.com/julian/trial-osxnotifier
A Trial reporter that reports with OS X notifications
Last synced: 08 Nov 2024
https://github.com/julian/podcasts
A crude static site listing podcasts and episodes I like
Last synced: 18 Oct 2024
https://github.com/julian/python-assorted-algorithms-101-material
Some random assorted Algorithms 101 material taught in an old class and mostly sitting here to rot
Last synced: 08 Nov 2024
https://github.com/julian/talks
A collection of the source and presentations for some of the talks I've given. Unfortunately not all are here, since I need to consolidate multiple places at some point.
Last synced: 08 Nov 2024
https://github.com/julian/txmusicbrainz
Twisted client for the MusicBrainz JSON API
Last synced: 08 Nov 2024
https://github.com/julian/compares
Simply define __eq__ and __repr__ in terms of a set of relevant fields
Last synced: 08 Nov 2024
https://github.com/julian/sphinxcontrib-lean
A Sphinx domain for the Lean theorem prover
Last synced: 18 Oct 2024
https://github.com/julian/ge
ge is a Good Enough editor (but not yet, now it's useless)
Last synced: 08 Nov 2024
https://github.com/julian/pypy-builder
An experiment of building pypy via GH Actions
Last synced: 08 Nov 2024
https://github.com/julian/specfirst
Spec-first, framework-agnostic APIs for your web application
Last synced: 08 Nov 2024
https://github.com/julian/powermate
Random scrapyard for doing this month's amusing thing with a Powermate
Last synced: 08 Nov 2024
https://github.com/julian/text-plain-text-and-vim
A short interactive session given to Columbia University students to introduce modal editing with Vim
Last synced: 08 Nov 2024
https://github.com/julian/tensorflow-cffi
POC-hopefully-soon-just-C of CFFI bindings to tensorflow's C API
Last synced: 08 Nov 2024
https://github.com/julian/ripe
The very beginnings of a toy ruby interpreter – or, a way to learn PyPy.
Last synced: 08 Nov 2024
https://github.com/julian/reddit_rabbithole
A small (hopefully community generated) script using the reddit_api bindings to recommend a more tasteful set of subreddits
Last synced: 08 Nov 2024
https://github.com/julian/sevenweeks
7 Languages in 7 Weeks Exercises (Along With a Few Experiments in Between)
Last synced: 08 Nov 2024
https://github.com/julian/irc-sqlite
Some cobbled together scripts for loading my IRC logs into SQLite
Last synced: 08 Nov 2024
https://github.com/julian/schemas
JSON Schemas for data I collect or care to collect
Last synced: 08 Nov 2024
https://github.com/julian/named-branch-action-example
Example repo for https://github.com/Julian/named-branch-action
Last synced: 08 Nov 2024
https://github.com/julian/proto3-json
Convert Proto3 Protocol Buffers to and from JSON via the canonical encoding
Last synced: 08 Nov 2024
https://github.com/julian/advent-of-code
Let's see how many days I make it before tragically petering off...
Last synced: 08 Nov 2024
https://github.com/julian/augustnycpythontestingtalk
A supposedly lightning talk (in the lightning) on [Unit] Testing Tools given at the August 2012 NYC Python Meetup
Last synced: 08 Nov 2024
https://github.com/julian/colortest
A simple script that checks for terminal true color support.
Last synced: 08 Nov 2024
https://github.com/julian/verge
Twisted Parallel implementation inspired by GNU Parallel
Last synced: 08 Nov 2024
https://github.com/julian/tomsbestfriend
A TOML Parser, because I didn't like any of the other ones
Last synced: 08 Nov 2024