Home
Sort by
last modified time
|
relevance
|
path
Project(s)
386bsd
dports
dragonfly
freebsd
haiku
illumos-gate
linux
minix
netbsd
open-nvidia-gpu
openbsd
original-bsd
qemu
reactos
xv6-public
select all
invert selection
clear
Full Search
Definition
Symbol
File Path
History
Type
Any
Ada
Asm
Bzip(2)
C
Clojure
C#
C++
Eiffel
ELF
Erlang
Image file
Fortran
Golang
GZIP
Haskell
HCL
Jar
Java
Java class
JavaScript
Json
Kotlin
Lisp
Lua
Manual pages
Pascal
Perl
PHP
Plain Text
PL/SQL
PowerShell script
Python
R
Ruby
Rust
Scala
Shell script
SQL
Swift
Tar
Tcl
Terraform
Troff
TypeScript
UUEncoded
Visual Basic
Verilog
XML
Zip
Searched
path:lean
(Results
1 – 15
of
15
) sorted by relevance
/dports/textproc/bat/bat-0.18.3/tests/syntax-tests/source/Lean/
H
A
D
test.lean
/dports/textproc/bat/bat-0.18.3/tests/syntax-tests/highlighted/Lean/
H
A
D
test.lean
/dports/audio/rnnoise-nu/rnnoise-nu-2626930/m4/
H
A
D
lean.m4
/dports/audio/speech-denoiser-lv2/speech-denoiser-04cfba9/rnnoise/m4/
H
A
D
lean.m4
/dports/misc/cloc/cloc-1.90/tests/inputs/
H
A
D
dlist.lean
/dports/net-p2p/ncdc/ncdc-1.22.1/deps/
H
A
D
lean.m4
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/.gitlab/issue_templates/
H
A
D
Feature Proposal - lean.md
/dports/misc/figlet/figlet-2.2.5/fonts/
H
A
D
lean.flf
/dports/misc/py-pyfiglet/pyfiglet-0.7.6/pyfiglet/fonts/
H
A
D
lean.flf
/dports/misc/cloc/cloc-1.90/tests/outputs/
H
A
D
dlist.lean.yaml
/dports/textproc/py-pygments/Pygments-2.7.2/tests/examplefiles/
H
A
D
test.lean
/dports/textproc/py-pygments-25/Pygments-2.5.2/tests/examplefiles/
H
A
D
test.lean
/dports/textproc/bat/bat-0.18.3/assets/syntaxes/02_Extra/
H
A
D
Lean.sublime-syntax
/dports/devel/texlab/texlab-3.3.0/cargo-crates/beef-0.5.0/src/
H
A
D
lean.rs
/dports/www/miniserve/miniserve-0.18.0/cargo-crates/beef-0.5.1/src/
H
A
D
lean.rs